Software Engineering - ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings. 1st ed. 1995

種類:

電子ブック

責任表示:

edited by Wilhelm Schäfer, Pere Botella

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995

著者名:

• Schäfer, Wilhelm.
• Botella, Pere.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 989

ISBN:

9783540455523 [3540455523]    

注記:

Demands and perspectives for future software engineers: An industrial viewpoint -- Why we need object databases -- A personal commitment to software quality -- Distributed modeling and distributed enaction of business processes -- Improvise: Interactive multimedia process visualization environment -- Design process improvement case study using process waiver data -- Using a symbolic model checker for verify safety properties in SA/RT models -- Instrumentation of Synchronous Reactive Models for performance engineering -- A formal framework for ASTRAL inter-level proof obligations -- An objective reuse metric: Model and methodology -- Measuring product attributes of object-oriented systems -- Specifying distributed software architectures -- A specification-based methodology for testing concurrent programs -- Dynamic configuration abstraction -- Handling version sets through feature logic -- Integrating incremental analysis with version management -- Graph grammar engineering with PROGRES -- A structured analysi
This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995. The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re-)engineering, real-time, software metrics, concurrency, version and configuration management, formal methods, design process, program analysis, software quality, and object-oriented software development.

ローカル注記:

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