Management of change in structured verification (Englisch)
- Neue Suche nach: Hutter, D.
- Neue Suche nach: Hutter, D.
In:
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering
;
23-31
;
2000
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:Management of change in structured verification
-
Beteiligte:Hutter, D. ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: IEEE
-
Erscheinungsdatum:01.01.2000
-
Format / Umfang:897837 byte
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 3
-
Model checking programsVisser, W. / Havelund, K. / Brat, G. / Seungjoon Park, et al. | 2000
- 13
-
Exploring the design of an intentional naming scheme with an automatic constraint analyzerKhurshid, S. / Jackson, D. et al. | 2000
- 23
-
Management of change in structured verificationHutter, D. et al. | 2000
- 35
-
A comparison of questionnaire-based and GUI-based requirements gatheringMoore, J.M. / Shipman, F.M. et al. | 2000
- 45
-
CM-Builder: an automated NL-based CASE toolHarmain, H.M. / Gaizauskas, R. et al. | 2000
- 55
-
Finding comparatively important concepts between textsLecoeuche, R. et al. | 2000
- 63
-
Upgrading legacy instances of reactive systemsHall, R.J. et al. | 2000
- 73
-
Renaming detectionMalpohl, G. / Hunt, J.J. / Tichy, W.F. et al. | 2000
- 81
-
Mutation operators for specificationsBlack, P.E. / Okun, V. / Yesha, Y. et al. | 2000
- 91
-
The use of abduction and recursion-editor techniques for the correction of faulty conjecturesMonroy, R. et al. | 2000
- 101
-
A DSL approach to improve productivity and safety in device drivers developmentReveillere, L. / Merillon, F. / Consel, C. / Marlet, R. / Muller, G. et al. | 2000
- 111
-
A declarative approach for designing and developing adaptive componentsBoinot, P. / Marlet, R. / Noye, J. / Muller, G. / Consel, C. et al. | 2000
- 123
-
Circular coinductive rewritingGoguen, J. / Lin, K. / Rosu, C. et al. | 2000
- 133
-
Formal construction of the Mathematically Analyzed Separation KernelMartin, W. / White, P. / Taylor, F.S. / Goldberg, A. et al. | 2000
- 143
-
Simultaneous checking of completeness and ground confluenceBouhoula, A. et al. | 2000
- 155
-
Using Little-JIL to coordinate agents in software engineeringWise, A. / Cass, A.G. / Lerner, B.S. / McCall, E.K. / Osterweil, L.J. / Sutton, S.M. et al. | 2000
- 165
-
Practical large scale what-if queries: case studies with software risk assessmentMenzies, T. / Sinsel, E. et al. | 2000
- 177
-
Exploring and validating the contributions of real-world knowledge to the diagnostic performance of automated database design toolsNoah, S.A. / Williams, M. et al. | 2000
- 187
-
Using graph rewriting to specify software architectural transformationsFahmy, H. / Holt, R.C. et al. | 2000
- 197
-
Specialization patternsSchultz, U.P. / Lawall, J.I. / Consel, C. et al. | 2000
- 209
-
Identification of potentially infeasible program paths by monitoring the search for test dataBueno, P.M.S. / Jino, M. et al. | 2000
- 219
-
Generating test data for branch coverageGupta, N. / Mathur, A.P. / Soffa, M.L. et al. | 2000
- 229
-
Test sequences generation from LUSTRE descriptions: GATELMarre, B. / Arnould, A. et al. | 2000
- 241
-
Automating the composition of middleware configurationsKloukinas, C. / Issarny, V. et al. | 2000
- 245
-
/spl pi/-SPACE: a formal architecture description language based on process algebra for evolving software systemsChaudet, C. / Oquendo, F. et al. | 2000
- 245
-
pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software SystemsChaudet, C. / Oquendo, F. / IEEE et al. | 2000
- 249
-
Towards explicit representation of architectural design assumptionsKyaruzi, J.J. / van Katwijk, J. et al. | 2000
- 253
-
Java model checkingPark, D.Y.W. / Stern, U. / Skakkebaek, J.U. / Dill, D.L. et al. | 2000
- 257
-
Non-interference analysis for mixed criticality code in avionics systemsHill, M.G. / Lake, T.W. et al. | 2000
- 261
-
Automated security checking and patching using TestTalkLiu, C. / Richardson, D.J. et al. | 2000
- 265
-
Controlled automation of consistency enforcementSchewe, K.-D. et al. | 2000
- 269
-
An overview of a method and its support tool for generating B specifications from UML notationsLaleau, R. / Mammar, A. et al. | 2000
- 273
-
A transformational viewpoint on design patternsZaine, M. et al. | 2000
- 277
-
Issues for the automatic generation of safety critical softwareO'Halloran, C. et al. | 2000
- 281
-
An experiment in scientific program understandingStewart, M.E.M. et al. | 2000
- 285
-
Representing technology to promote reuse in the software design processBarber, K.S. / Bhattacharya, S. et al. | 2000
- 289
-
Towards the Automatic Assessment of Evolvability for Reusable Class LibrariesSahraoui, H. A. / Lounis, H. / Boukadoum, M. A. / Etheve, F. / IEEE et al. | 2000
- 289
-
Toward the automatic assessment of evolvability for reusable class librariesSahraoui, H.A. / Lounis, H. / Boukadoum, M.A. / Etheve, F. et al. | 2000
- 293
-
Translating use cases to sequence diagramsLiwu Li, et al. | 2000
- 297
-
New visual interface for engineering use case modelsMansurov, N. / Vasura, D. et al. | 2000
- 301
-
Semantic abstraction rules for class diagramsEgyed, A. et al. | 2000
- 305
-
Automatic derivation of Petri net based distributed specification with optimal allocation of resourcesEl-Fakih, K. / Yamaguchi, H. / v. Bochmann, G. / Higashino, T. et al. | 2000
- 309
-
Combining the best attributes of qualitative and quantitative risk management tool supportFeather, M.S. / Cornford, S.L. / Larson, T.W. et al. | 2000
- 313
-
A group critic system for object-oriented analysis and designSouza, C.R.B. / Ferreira, J.S. / Goncalves, K.M. / Wainer, J. et al. | 2000
- 317
-
Computing interfaces in JavaHuchard, M. / Leblanc, H. et al. | 2000
- 321
-
Extending UML to support domain analysisMorisio, M. / Travassos, G.H. / Stark, M.E. et al. | 2000
- 325
-
Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination PoliciesBose, P. / Matthews, M. G. / IEEE et al. | 2000
- 325
-
Proceedings Fifth IEEE International Workshop on Computer Architectures for Machine Perception| 2000
- 329
-
Index of authors| 2000
- iii
-
ASE 2000| 2000