Software Engineering - ESEC '93 : 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings. 1st ed. 1993

種類:

電子ブック

責任表示:

edited by Ian Sommerville, Manfred Paul

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993

著者名:

• Sommerville, Ian.
• Paul, Manfred.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 717

ISBN:

9783540479727 [3540479724]    

注記:

On the decline of classical programming -- Computers are not omnipotent -- Real-time systems: A survey of approaches to formal specification and verification -- Software engineering in business and academia: How wide is the gap? -- Software faults in evolving a large, real-time system: a case study -- The Experience Factory and its relationship to other Improvement Paradigms -- Inconsistency handling in multi-perspective specifications -- Requirements engineering: An integrated view of representation, process, and domain -- Making changes to formal specifications: Requirements and an example -- Formal requirements made practical -- Databases for software engineering environments -- A regression testing database model -- Experiences with a federated environment testbed -- Observations on object management systems and process support in environments -- Software technology for a distributed telecommunication system -- Industrial software development — a case study -- Quantitative approach to software management:
This volume contains the proceedings of the fourth European Software Engineering Conference. It contains 6 invited papers and 27 contributed papers selected from more than 135 submissions. The volume has a mixtureof themes. Some, such as software engineering and computer supported collaborative work, are forward-looking and anticipate future developments; others, such as systems engineering, are more concerned with reports of practical industrial applications. Some topics, such as software reuse, reflect the fact that some of the concerns first raised in 1969 when software engineering was born remain unsolved problems. The contributed papers are organized under the following headings: requirements specification, environments, systems engineering, distributed software engineering, real-time systems, software engineering and computer supported collaborative work, software reuse, software process, and formal aspects of software engineering.

ローカル注記:

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