5. ESEC 1995: Sitges, Spain

@proceedings{DBLP:conf/esec/1995,
  editor    = {Wilhelm Sch{\"a}fer and
               Pere Botella},
  title     = {5th European Software Engineering Conference, Sitges, Spain,
               September 25-28, 1995, Proceedings},
  booktitle = {ESEC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {989},
  year      = {1995},
  isbn      = {3-540-60406-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Keynotes

• Heinz Schwärtzel: Demands and Perspectives for Future Software Engineers: An Industrial Viewpoint (Abstract). 1-2
• François Bancilhon: Why We Need Object Databases (Abstract). 3-4
• Watts S. Humphrey: A Personal Commitment to Software Quality. 5-7

Business Process (Re-)Engineering

• Günter Graw, Volker Gruhn: Distributed Modeling and Distributed Enaction of Business Processes. 8-27
• Naser S. Barghouti, Eleftherios Koutsofios, Edith Cohen: Improvise: Interactive Multimedia Process Visualization Environment. 28-43
• Lawrence G. Votta, Mary L. Zajak: Design Process Improvement Case Study Using Process Waiver Data. 44-58

Real Time

• Javier Tuya, Luciano Sánchez, José A. Corrales: Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models. 59-75
• Alberto Valderruten Vidal, Manuel Vilares Ferro, Jorge Graña Gil: Instrumentation of Synchronous Reactive Models for Performance Engineering. 76-89
• Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli: A Formal Framework for ASTRAL Inter-level Proof Obligations. 90-108

Metrics

• Yih-Farn Chen, Balachander Krishnamurthy, Kiem-Phong Vo: An Objective Reuse Metric: Model and Methology. 109-123
• Martin Hitz, Behzad Montazeri: Measuring Product Attributes of Object-Oriented Systems. 124-136

Concurrency

• Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer: Specifying Distributed Software Architectures. 137-153
• Kuo-Chung Tai, Richard H. Carver: A Specification-Based Methology for Testing Concurrent Programs. 154-172

Version and Configuration Management

• Ian Warren, Ian Sommerville: Dynamic Configuration Abstraction. 173-190
• Andreas Zeller, Gregor Snelting: Handling Version Sets Through Feature Logic. 191-204
• Tim A. Wagner, Susan L. Graham: Integrating Incremental Analysis with Version Management. 205-218

Formal Methods

• Andy Schürr, Andreas J. Winter, Albert Zündorf: Graph Grammar Engineering with PROGRES. 219-234
• Craig Gaskell, Roger Phillips: A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation. 235-253
• Martin Glinz: An Integrated Formal Model of Scenarios Based on Statecharts. 254-271

Support of the Design Process

• Maritta Heisel, Thomas Santen, Dominik Zimmermann: Tool Support for Formal Software Development: A Generic Architecture. 272-293
• Dieter Landes, Rudi Studer: The Treatment of Non-Functional Requirements in MIKE. 294-306
• Simon R. Monk, Ian Sommerville, Jean Michel Pendaries, Bernard Durin: Supporting Design Rationale for System Evolution. 307-323

Program Analysis

• Stan Jarzabek: PQL: A Language for Specifying Abstract Program Views. 324-342
• A. T. Chamillard: An Exploratory Study of Program Metrics as Predictors of Reachability Analysis Performance. 343-361
• Erik Kamsties, Christopher M. Lott: An Empirical Evaluation of Three Defect-Detection Techniques. 362-383

Quality

• Alan W. Brown, David J. Carney, Paul C. Clements, B. Craig Meyers, Dennis B. Smith, Nelson H. Weiderman, William G. Wood: Assessing the Quality of Large, Software-Intensive Systems: A Case Study. 384-404
• Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Alan T. Yaung: The Impact of Incremental Delivery on Maintenance Effort: An Analytical Study. 405-422
• Núria Castell, Olga Slavkova: Metrics for Quality Factors in the LESD Project. 423-437
• Masao J. Matsumoto: Quantitative Evaluations of Software Built in with Domain-specific Disciplines. 438-456

Object-Oriented Software Development

• Mehdi Jazayeri: Component Programming - a Fresh Look at Software Components. 457-478
• Kai Koskimies, Hanspeter Mössenböck: Designing a Framework by Stepwise Generalization. 479-498
• Harald Gall, René Klösch, Roland Mittermeir: Object-Oriented Re-Architecturing. 499-519