ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings. 1st ed. 1991

種類:

電子ブック

責任表示:

edited by Axel van Lamsweerde, Alfonso Fuggetta

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991

著者名:

• Lamsweerde, Axel van.
• Fuggetta, Alfonso.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 550

ISBN:

9783540464464 [3540464468]    

注記:

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
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 secu

ローカル注記:

学内専用E-BOOKS (local access only)