• 
  Mehdi Jazayeri, Helmut Schauer (Eds.): Software Engineering - ESEC/FSE '97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings. Springer 1997 Lecture Notes in Computer Science ISBN 3-540-63531-9

[= ACM SIGSOFT Software Engineering Notes 22(6), November 1997]

Invited Papers

• 
  David Lorge Parnas: Software Engineering: An Unconsummated Marriage (Extended Abstract). 1-3
• 
  John M. Rushby: Subtypes for Specifications. 4-19
• 
  Barry W. Boehm, Alexander Egyed, Julie Kwan, Raymond J. Madachy: Developing Multimedia Applications with the WinWin Spiral Model. 20-39

Software Engineering Education (Invited Presentations)

• 
  T. S. E. Maibaum: What We Teach Software Engineers in the University: Do We Take Engineering Seriously? 40-50
• 
  Jürgen Uhl: What we Expect from Software Engineers in the Industry (Abstract). 51

State-of-the-Art Report (Invited Presentation)

• 
  Richard A. Kemmerer: Security Issues in Distributed Software. 52-59

Software Architecture

• 
  Nenad Medvidovic, Richard N. Taylor: A Framework for Classifying and Comparing Architecture Description Languages. 60-76
• 
  Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil: Applying Static Analysis to Software Architectures. 77-93
• 
  Theo Dirk Meijler, Serge Demeyer, Robert Engel: Making Design Patterns Explicit in FACE: A Frame Work Adaptive Composition Environment. 94-110

Processes

• 
  Graham Allen, Leighton Davies, Göran Lindmark, Even-André Karlsson: TTM15 - A Large Multi-Site Improvement Project. 111-124
• 
  Gregor Joeris: Change Management Needs Integrated Process and Configuration Management. 125-141
• 
  Stanley M. Sutton Jr., Leon J. Osterweil: The Design of a Next-Generation Process Language. 142-158

Configuration and Process Tools

• 
  André van der Hoek, Richard S. Hall, Dennis Heimbigner, Alexander L. Wolf: Software Release Management. 159-175
• 
  Klaus Pohl, Klaus Weidenhaupt: A Contextual Approach for Process-Integrated Tools. 176-192
• 
  Jens H. Jahnke, Wilhelm Schäfer, Albert Zündorf: Generic Fuzzy Reasoning Nets as a Basis for Reverse Engineering Relational Database Applications. 193-210

Formal Analysis

• 
  Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti: Providing Automated Support to Deductive Analysis of Time Critical Systems. 211-226
• 
  Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer: Verification of Liveness Properties Using Compositional Reachability Analysis. 227-243
• 
  Matthew B. Dwyer, Vicki Carr, Laura Hines: Model Checking Graphical User Interfaces Using Abstractions. 244-261

Empirical Studies

• 
  Murray Wood, Marc Roper, Andrew Brooks, James Miller: Comparing and Combining Software Defect Detection Techniques: A Replicated Empirical Study. 262-277
• 
  Christof Ebert: Experiences with Criticality Predictions in Software Development. 278-293
• 
  Lesley Pek Wee Land, Chris Sauer, D. Ross Jeffery: Validating the Defect Detection Performance Advantage of Group Designs for Software Reviews: Report of a Laboratory Experiment Using Program Code. 294-309

System Modeling

• 
  Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili: Integration of Sequential Scenarios. 310-326
• 
  Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig: A View-Oriented Approach to System Modelling Based on Graph Transformation. 327-343
• 
  David S. Rosenblum, Alexander L. Wolf: A Design Framework for Internet-Scale Event Observation and Notification. 344-360

Testing

• 
  Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Refining Data Flow Information Using Infeasible Paths. 361-377
• 
  István Forgács, Antonia Bertolino: Feasible Test Path Selection by Principal Slicing. 378-394
• 
  Premkumar T. Devanbu, Stuart G. Stubblebine: Cryptographic Verification of Test Coverage Claims. 395-413

Program Analysis

• 
  Yih-Farn Chen, Emden R. Gansner, Eleftherios Koutsofios: A C++ Data Model Supporting Reachability Analysis and Dead Code Detection. 414-431
• 
  Thomas W. Reps, Thomas Ball, Manuvir Das, James R. Larus: The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem. 432-449
• 
  Mats Per Erik Heimdahl, Michael W. Whalen: Reduction and Slicing of Hierarchical State Machines. 450-467

Decomposition and Distribution

• 
  Martin Schütze, Jan Peter Riegel, Gerhard Zimmermann: A Pattern-Based Application Generator for Building Simulation. 468-482
• 
  Stéphane Ducasse, Tamar Richner: Executable Connectors: Towards Reusable Design Elements. 483-499
• 
  Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann: Expressing Code Mobility in Mobile UNITY. 500-518

Industrial Reports on Projects

• 
  Even-André Karlsson, Lars Taxén: Incremental Development for AXE 10. 519-520
• 
  Dewayne E. Perry, Lawrence G. Votta: The Tale of Two Projects - Abstract. 521-522
• 
  J. Henk Obbink: Analysis of Software Architectures in High and Low Volume Electronic Systems, Industrial Experience Report. 523-524
• 
  A. Idri, B. Griech, A. El Iraki: Towards an Adaptation of the COCOMO Cost Model to the Software Measurement Theory. 525-526
• 
  Petre Dini, Amina Belkhelladi, Walcélio L. Melo: Formalizing Software Architectures: An Industrial Experience. 527-529

Panel Session

• 
  Mehdi Jazayeri: Software Engineering - Old Problems, New Problems, and Unsolved Problems (Panel). 530