6. ESEC / 5. SIGSOFT FSE 1997: Zurich, Switzerland

@proceedings{DBLP:conf/esec/1997,
  editor    = {Mehdi Jazayeri and
               Helmut Schauer},
  title     = {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},
  booktitle = {ESEC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1301},
  year      = {1997},
  isbn      = {3-540-63531-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

Last update Thu May 24 04:17:20 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page