ESEC '91: 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings (Lecture Notes in Computer Science, 550)

The Third European Software Engineering Conference Follows Esec'87 And Esec'89. This Series Of Conferences Was Set Up By The European Societies With The Aim Of Providing An International Forum For Researchers, Developersand Users Of Software Engineering Technology. The Need For A Meeting Point To Discuss New Results And Useful Experiences Was Clear From The Large Amount Of High-quality European Software Engineering Researchin Recent Years, Stimulated, For Example, Through Major European Research Programmes. The 22 Papers In These Proceedings Were Selected From 133 Papers Submitted From 26 Different Countries. They Cover A Fairly Broad Range Of Themes Such As Formal Methods And Practical Experiences With Them, Special Techniques For Real-time Systems, Software Evolution And Re-engineering, Software Engineering Environments, And Software Metrics. Invited Papers By Well-known Experts Address Further Important Areas: Perspectives On Configuration Management, Software Factories, User Interfacedesign, Computer Security, And Technology Transfer.--publisher's Website. A. Van Lamsweerde, A. Fuggetta, Eds. Includes Bibliographical References. 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 Annotation The third European Software Engineering Conference followsESEC'87 and ESEC'89. This series of conferences was set upby the European societies with the aim of providing aninternational forum for researchers, developersand users ofsoftware engineering technology. The need for a meetingpoint to discuss new results and useful experiences wasclear from the large amount of high-quality Europeansoftware engineering researchin recent years, stimulated, for example, through major European research programmes. The22 papers in these proceedings were selected from 133 paperssubmitted from 26 different countries. They cover a fairlybroad range of themes such as formal methods and practicalexperiences with them, special techniques for real-timesystems, software evolution and re-engineering, softwareengineering environments, and software metrics. Invitedpapers by well-known experts address further importantareas: perspectives on configuration management, softwarefactories, user interfacedesign, computer security, andtechnology transfer Software Configuration Management is one of the established sub-fields of Software Engineering, and one that provides recognized benefits to practitioners and managers, SCM tools have been in widespread use for decades, there is a historical hardware model on which to build, and a variety of commercial tools are on the market.