Abstract is missing.
- Demands and Perspectives for Future Software Engineers: An Industrial Viewpoint (Abstract)Heinz Schwärtzel. 1-2
- Why We Need Object Databases (Abstract)François Bancilhon. 3-4
- A Personal Commitment to Software QualityWatts S. Humphrey. 5-7
- Distributed Modeling and Distributed Enaction of Business ProcessesGünter Graw, Volker Gruhn. 8-27
- Improvise: Interactive Multimedia Process Visualization EnvironmentNaser S. Barghouti, Eleftherios Koutsofios, Edith Cohen. 28-43
- Design Process Improvement Case Study Using Process Waiver DataLawrence G. Votta, Mary L. Zajak. 44-58
- Using a Symbolic Model Checker for Verify Safety Properties in SA/RT ModelsJavier Tuya, Luciano Sánchez, José A. Corrales. 59-75
- Instrumentation of Synchronous Reactive Models for Performance EngineeringAlberto Valderruten Vidal, Manuel Vilares Ferro, Jorge Graña Gil. 76-89
- A Formal Framework for ASTRAL Inter-level Proof ObligationsAlberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli. 90-108
- An Objective Reuse Metric: Model and MethologyYih-Farn Chen, Balachander Krishnamurthy, Kiem-Phong Vo. 109-123
- Measuring Product Attributes of Object-Oriented SystemsMartin Hitz, Behzad Montazeri. 124-136
- Specifying Distributed Software ArchitecturesJeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer. 137-153
- A Specification-Based Methology for Testing Concurrent ProgramsKuo-Chung Tai, Richard H. Carver. 154-172
- Dynamic Configuration AbstractionIan Warren, Ian Sommerville. 173-190
- Handling Version Sets Through Feature LogicAndreas Zeller, Gregor Snelting. 191-204
- Integrating Incremental Analysis with Version ManagementTim A. Wagner, Susan L. Graham. 205-218
- Graph Grammar Engineering with PROGRESAndy Schürr, Andreas J. Winter, Albert Zündorf. 219-234
- A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model InterpretationCraig Gaskell, Roger Phillips. 235-253
- An Integrated Formal Model of Scenarios Based on StatechartsMartin Glinz. 254-271
- Tool Support for Formal Software Development: A Generic ArchitectureMaritta Heisel, Thomas Santen, Dominik Zimmermann. 272-293
- The Treatment of Non-Functional Requirements in MIKEDieter Landes, Rudi Studer. 294-306
- Supporting Design Rationale for System EvolutionSimon R. Monk, Ian Sommerville, Jean Michel Pendaries, Bernard Durin. 307-323
- PQL: A Language for Specifying Abstract Program ViewsStan Jarzabek. 324-342
- An Exploratory Study of Program Metrics as Predictors of Reachability Analysis PerformanceA. T. Chamillard. 343-361
- An Empirical Evaluation of Three Defect-Detection TechniquesErik Kamsties, Christopher M. Lott. 362-383
- Assessing the Quality of Large, Software-Intensive Systems: A Case StudyAlan W. Brown, David J. Carney, Paul C. Clements, B. Craig Meyers, Dennis B. Smith, Nelson H. Weiderman, William G. Wood. 384-404
- The Impact of Incremental Delivery on Maintenance Effort: An Analytical StudyPei Hsia, Chih-Tung Hsu, David Chenho Kung, Alan T. Yaung. 405-422
- Metrics for Quality Factors in the LESD ProjectNúria Castell, Olga Slavkova. 423-437
- Quantitative Evaluations of Software Built in with Domain-specific DisciplinesMasao J. Matsumoto. 438-456
- Component Programming - a Fresh Look at Software ComponentsMehdi Jazayeri. 457-478
- Designing a Framework by Stepwise GeneralizationKai Koskimies, Hanspeter Mössenböck. 479-498
- Object-Oriented Re-ArchitecturingHarald Gall, René Klösch, Roland Mittermeir. 499-519