5. ESEC 1995: Sitges, Spain
Wilhelm Schäfer, Pere Botella (Eds.): 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995, Proceedings. Springer 1995 Lecture Notes in Computer Science ISBN 3-540-60406-5
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
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
Formal Methods
- 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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team