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

Brossura

ISBN 10: 3662167131 ISBN 13: 9783662167137

Casa editrice: Springer, 2014

Riassunto

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 analysis formalism with execution semantics to allow unambiguous model interpretation.- An integrated formal model of scenarios based on statecharts.- Tool support for formal software development: A generic architecture.- The treatment of non-functional requirements in MIKE.- Supporting design rationale for system evolution.- PQL: A language for specifying abstract program views.- An exploratory study of program metrics as predictors of reachability analysis performance.- An empirical evaluation of three defect-detection techniques.- Assessing the quality of large, software-intensive systems: A case study.- The impact of incremental delivery on maintenance effort: An analytical study.- Metrics for quality factors in the LESD project.- Quantitative evaluations of software quality built in with domain-specific disciplines.- Component Programming - a fresh look at software components.- Designing a framework by stepwise generalization.- Object-oriented re-architecturing.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2014
• Lingua: Inglese
• ISBN 10: 3662167131
• ISBN 13: 9783662167137
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile