Software Engineering - ESEC '95

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.