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

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. Lecture Notes in Computer Science 1301 Springer 1997, ISBN 3-540-63531-9 BibTeX
[= ACM SIGSOFT Software Engineering Notes 22(6), November 1997]

@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
Electronic Edition (ACM DL) BibTeX
John M. Rushby:
Subtypes for Specifications. 4-19
Electronic Edition (ACM DL) BibTeX
Barry W. Boehm, Alexander Egyed, Julie Kwan, Raymond J. Madachy:
Developing Multimedia Applications with the WinWin Spiral Model. 20-39
Electronic Edition (ACM DL) BibTeX

Software Engineering Education (Invited Presentations)

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

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

Richard A. Kemmerer:
Security Issues in Distributed Software. 52-59
Electronic Edition (ACM DL) BibTeX

Software Architecture

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

Processes

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

Configuration and Process Tools

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

Formal Analysis

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

Empirical Studies

Murray Wood, Marc Roper, Andrew Brooks, James Miller:
Comparing and Combining Software Defect Detection Techniques: A Replicated Empirical Study. 262-277
Electronic Edition (ACM DL) BibTeX
Christof Ebert:
Experiences with Criticality Predictions in Software Development. 278-293
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX

System Modeling

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

Testing

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

Program Analysis

Yih-Farn Chen, Emden R. Gansner, Eleftherios Koutsofios:
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection. 414-431
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
Mats Per Erik Heimdahl, Michael W. Whalen:
Reduction and Slicing of Hierarchical State Machines. 450-467
Electronic Edition (ACM DL) BibTeX

Decomposition and Distribution

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

Industrial Reports on Projects

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

Panel Session

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