Esec '91: 3rd European Software Engineering Conference, Esec '91, Milan, Italy, October 21-24, 1991. Proceedings

ISBN-13: 9783540547426 / Angielski / Miękka / 1991 / 536 str.

Axel Van Lamsweerde; Alfonso Fuggetta; A. Van Lamsweerde

Opis

This volume details one of a series of conferences set up by European societies with the aim of providing an international forum for researchers, developers and 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 research in recent years, stimulated, for example, through major European research programmes. The papers in these proceedings cover a 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 such areas as perspectives on configuration management, software factories, user interface design, computer security and technology transfer.

Spis treści

Software configuration management: Past uses and future challenges.- Architectural design for user interfaces.- The Eureka Software Factory: Concepts and accomplishments.- Integrating structured and formal methods: A visual approach to VDM.- Rational design of distributed applications.- Test data selection from algebraic specifications: Application to an automatic subway module.- Specification in COLD-1 of a CAD package for drawing shadow masks.- ASTRAL: An assertion language for specifying realtime systems.- Execution environment for ELECTRE applications.- An engineering approach to hard real-time system design.- An application of artificial intelligence to prototyping process in performance design for real-time systems.- Dynamically Replaceable Software: A design method.- Software merge: Models and methods for combining changes to programs.- A theory for software design extraction.- SESADA: An environment supporting software specialization.- Metric-driven classification analysis.- A dynamic failure model for predicting the impact that a program location has on the program.- Relation between source code metrics and structure analysis metrics.- Algebraic validation of software metrics.- An algebraic view of inheritance and subtyping in object oriented programming.- Scaling up rule-based software development environments.- Inference-based support for programming in the large.- TICKLE: Object-oriented description and composition services for software engineering environments.- Integrated project support environments, text generation and technical writing.- The Arcs experience.- Panel presentation.- The production of software in the FINSIEL group.- The impact of software engineering researches on industrial practice — a personal view.- Impact of methods on productivity & quality.- Requirements engineering — Getting right from wrong.- A (neat) alphabet of requirements engineering issues.- The scruffy side of requirements engineering.- Expediency and appropriate technology: An agenda for requirements engineering research in the 1990s.- CASE support for the software process.- CASE support for the software process: A research viewpoint.- CASE support for large systems.- CASE seen from both sides of the fence.- CASE support for the software process: Advances and problems.