Software Engineering — ESEC '95: 5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 Proceedings

Demands and perspectives for future software engineers: An industrial viewpoint....Pages 1-2
Why we need object databases....Pages 3-4
A personal commitment to software quality....Pages 5-7
Distributed modeling and distributed enaction of business processes....Pages 8-27
Improvise: Interactive multimedia process visualization environment....Pages 28-43
Design process improvement case study using process waiver data....Pages 44-58
Using a symbolic model checker for verify safety properties in SA/RT models....Pages 59-75
Instrumentation of Synchronous Reactive Models for performance engineering....Pages 76-89
A formal framework for ASTRAL inter-level proof obligations....Pages 90-108
An objective reuse metric: Model and methodology....Pages 109-123
Measuring product attributes of object-oriented systems....Pages 124-136
Specifying distributed software architectures....Pages 137-153
A specification-based methodology for testing concurrent programs....Pages 154-172
Dynamic configuration abstraction....Pages 173-190
Handling version sets through feature logic....Pages 191-204
Integrating incremental analysis with version management....Pages 205-218
Graph grammar engineering with PROGRES....Pages 219-234
A structured analysis formalism with execution semantics to allow unambiguous model interpretation....Pages 235-253
An integrated formal model of scenarios based on statecharts....Pages 254-271
Tool support for formal software development: A generic architecture....Pages 272-293
The treatment of non-functional requirements in MIKE....Pages 294-306
Supporting design rationale for system evolution....Pages 307-323
 PQL : A language for specifying abstract program views....Pages 324-342
An exploratory study of program metrics as predictors of reachability analysis performance....Pages 343-361
An empirical evaluation of three defect-detection techniques....Pages 362-383
Assessing the quality of large, software-intensive systems: A case study....Pages 384-404
The impact of incremental delivery on maintenance effort: An analytical study....Pages 405-422
Metrics for quality factors in the LESD project....Pages 423-437
Quantitative evaluations of software quality built in with domain-specific disciplines....Pages 438-456
Component Programming — a fresh look at software components....Pages 457-478
Designing a framework by stepwise generalization....Pages 479-498
Object-oriented re-architecturing....Pages 499-519