ESEC '91: 3rd European Software Engineering Conference, ESEC '91 Milan, Italy, October 21–24, 1991 Proceedings

Software configuration management: Past uses and future challenges....Pages 1-6
Architectural design for user interfaces....Pages 7-22
The Eureka Software Factory: Concepts and accomplishments....Pages 23-36
Integrating structured and formal methods: A visual approach to VDM....Pages 37-59
Rational design of distributed applications....Pages 60-79
Test data selection from algebraic specifications: Application to an automatic subway module....Pages 80-100
Specification in COLD-1 of a CAD package for drawing shadow masks....Pages 101-121
ASTRAL: An assertion language for specifying realtime systems....Pages 122-146
Execution environment for ELECTRE applications....Pages 147-165
An engineering approach to hard real-time system design....Pages 166-188
An application of artificial intelligence to prototyping process in performance design for real-time systems....Pages 189-209
Dynamically Replaceable Software: A design method....Pages 210-228
Software merge: Models and methods for combining changes to programs....Pages 229-250
A theory for software design extraction....Pages 251-265
SESADA: An environment supporting software specialization....Pages 266-289
Metric-driven classification analysis....Pages 290-307
A dynamic failure model for predicting the impact that a program location has on the program....Pages 308-331
Relation between source code metrics and structure analysis metrics....Pages 332-342
Algebraic validation of software metrics....Pages 343-363
An algebraic view of inheritance and subtyping in object oriented programming....Pages 364-379
Scaling up rule-based software development environments....Pages 380-395
Inference-based support for programming in the large....Pages 396-408
TICKLE: Object-oriented description and composition services for software engineering environments....Pages 409-423
Integrated project support environments, text generation and technical writing....Pages 424-442
The Arcs experience....Pages 443-464
Panel presentation....Pages 465-467
The production of software in the FINSIEL group....Pages 468-471
The impact of software engineering researches on industrial practice — a personal view....Pages 472-479
Impact of methods on productivity & quality....Pages 480-484
Requirements engineering — Getting right from wrong....Pages 485-488
A (neat) alphabet of requirements engineering issues....Pages 489-491
The scruffy side of requirements engineering....Pages 492-494
Expediency and appropriate technology: An agenda for requirements engineering research in the 1990s....Pages 495-496
CASE support for the software process....Pages 497-498
CASE support for the software process: A research viewpoint....Pages 499-503
CASE support for large systems....Pages 504-508
CASE seen from both sides of the fence....Pages 509-511
CASE support for the software process: Advances and problems....Pages 512-515