Technical Program
Technical Program
Tutorials
Workshops
Demonstrations | Posters | New Ideas
Registration | Acommodation | Venue
|
|
|
Tuesday, September 23
10:15-12:30
Opening Session
Chairs: Helmut Schauer (Universität Zürich, Switzerland) and Mehdi Jazayeri (Technische Universität Wien, Austria)
Welcome addresses
Keynote address: Software
Engineering: An Unconsummated Marriage
David L. Parnas, McMaster University (Canada)
14:00-15:30
Session 1A. Software Architecture
Chair: Jeff Kramer, Imperial College (UK)
A Framework for Classifying and Comparing Architecture Description
Languages
Nenad Medvidovic, Richard N. Taylor (University of California,
Irvine, USA)
Applying Static Analysis to Software Architectures
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J.
Osterweil (University of Massachusetts, USA)
Making Design Patterns Explicit in FACE - A Framework Adaptive
Composition Environment
Theo D. Meijler, Serge Demeyer (Universität Bern,
Switzerland); Robert Engel (Washington University, St. Louis,
USA)
Session 1B. Processes
Chair: Jean Claude Derniame (CRIN, France)
TTM15 - A Large Multi-Site Improvement Project
Graham Allen, Leighton Davies, Göran Lindmark (Ericsson
Telecom, Sweden); Even-André Karlsson (Q-Labs, Sweden)
Change Management Needs Integrated Process and Configuration
Management
Gregor Joeris (Universität Bremen, Germany)
The Design of a Next-Generation Process Language
Stanley M. Sutton, Jr., Leon J. Osterweil (University of
Massachusetts, USA)
Session 1C. Demonstrations 1
Chair: Georg Trausmuth (Technische Universität Wien, Austria)
Demonstrations of tools and system prototypes
16:00-17:30
Session 2A. Experience Reports (updated 97-07-01)
Chair: J. Henk Obbink (Philips Research Labs, Netherlands)
Incremental Development for AXE 10
Even-André Karlsson (Q-Labs, Sweden), Lars Taxen (Ericsson
Utwecklings AB, Sweden)
The Tale of Two Projects
Dewayne E. Perry, Lawrence G. Votta (Bell Labs, USA)
Analysis of Software Architectures in High- and Low-Volume
Electronic Systems
J. Henk Obbink (Philips Research Labs, Netherlands)
Towards an Adaptation of the Cocomo Cost Model to the Software
Measurement Theory
Ali Idri, Brahim Griech, Abdelhamid El Iraki (ENSIAS, Morocco)
Structuring Interfaces of Complex Software Components
Alexander Ran (Nokia Research, USA)
Formalizing Software Architectures: An Industrial Experience
Petre Dini, Amina Belkhelladi, and Walcelio Melo (CRIM,
Canada)
EuroStart: Experience in Developing a Large Object-Oriented
System
Josef Withalm (Siemens, Austria)
Session 2B. New Ideas
Chair: Will Tracz (Lockheed Martin Federal Systems, USA)
Novel Notions, Wild Ideas, and Fun Flames
Session 2C. Posters
Chair: Georg Trausmuth (Technische Universität Wien, Austria)
Poster authors are present at their posters
Wednesday, September 24
08:30-10:30
Session 3. Software Engineering Education (Invited Talks)
Chairs: Carlo Ghezzi (Politecnico di Milano, Italy) and Martin Glinz (Universität Zürich, Switzerland)
What We Teach Software Engineers
in the University
Tom Maibaum (Imperial College, UK)
What We Expect from Software Engineers
in Industry
Jürgen Uhl (IBM Informationssysteme, Germany)
11:00-12:30
Session 4A. Configuration Management and Process Tools
Chair: Volker Gruhn (Universität Dortmund, Germany)
Software Release Management
André van der Hoek, Richard S. Hall, Dennis Heimbigner,
Alexander L. Wolf (University of Colorado, USA)
A Contextual Approach for Process-Integrated Tools
Klaus Pohl, Klaus Weidenhaupt (RWTH Aachen, Germany)
Generic Fuzzy Reasoning Nets as a Basis for Reverse Engineering
Relational Database Applications
Jens Jahnke, Wilhelm Schäfer, Albert Zündorf
(Universität Paderborn, Germany)
Session 4B. Formal Analysis
Chair: Richard Kemmerer (University of California, Santa Barbara, USA)
Providing Automated Support to Deductive Analysis of Time Critical
Systems
Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti
(Politecnico di Milano, Italy)
Verification of Liveness Properties Using Compositional
Reachability Analysis
Shing Chi Cheung (Hong Kong University of Science and Technology,
Hong Kong); Dimitra Giannakopoulou, Jeff Kramer (Imperial College,
UK)
Model Checking Graphical User Interfaces Using Abstractions
Matthew B. Dwyer, Vicki Carr, Laura Hines (Kansas State
University, USA)
Session 4C. Empirical Studies
Chair: Vincenzo Ambriola (Universitá di Pisa, Italy)
Comparing and Combining Software Defect Detection Techniques: A
Replicated Empirical Study
Murray Wood, Marc Roper, Andrew Brooks, James Miller (University
of Strathclyde, Glasgow, UK)
Experiences with Criticality Predictions in Software
Development
Christof Ebert (Alcatel Telecom, Belgium)
Validating the Defect Detection Performance Advantage of Group
Designs for Software Reviews: Report of a Laboratory Experiment Using
Program Code
Lesley Pek Wee Lau, Chris Sauer, Ross Jeffery (University of New
South Wales, Australia)
14:00-15:30
Session 5A. System Modeling
Chair: Anthony Finkelstein (City University, London, UK)
Integration of Sequential Scenarios
Jules Desharnais, Ridha Khédri (Université Laval,
Québec, Canada); Marc Frappier (Université de
Sherbrooke, Canada); Ali Mili (University of Ottawa, Canada)
A View-Oriented Approach to System Modelling Using Graph
Transformations
Hartmut Ehrig, Reiko Heckel, Gabi Taentzer (Technische
Universität Berlin, Germany); Gregor Engels (Universität
Paderborn, Germany)
A Design Framework for Internet-Scale Event Observation and
Notification
David S. Rosenblum (University of California, Irvine, USA);
Alexander L. Wolf (University of Colorado, USA)
Session 5B. Testing
Chair: Oscar Nierstrasz (Universität Bern, Switzerland)
Refining Data Flow Information Using Infeasible Paths
Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa (University of
Pittsburgh, USA)
Feasible Test Path Selection by Principal Slicing
István Forgács (Magyar Tudományos
Akadémia, Hungary), Antonia Bertolino (CNR, Italy)
Cryptographic Verification of Test Coverage Claims
Prem Devanbu, Stuart G. Stubblebine (AT&T Research, USA)
Session 5C. State-of-the-Art Report
Chair: Wilhelm Schäfer (Universität Paderborn, Germany)
Security Issues in Distributed Software
Richard Kemmerer (University of California, Santa Barbara,
USA)
16:00-17:30
Session 6. Panel
Chair: Mehdi Jazayeri (Technische Universität Wien, Austria)
Software Engineering - Old Problems, New Problems, and Unsolved
Problems
Barry Boehm, Tom Gilb, David Parnas, Tom Maibaum, John Rushby and
others
Thursday, September 25
09:00-10:30
Session 7. Invited Talk
Chair: Axel van Lamsweerde (Université Catholique de Louvain, Belgium)
Subtypes for Specifications
John Rushby (SRI International, USA)
11:00-12:30
Session 8A. Program Analysis
Chair: Antonia Bertolino (CNR, Italy)
A C++ Data Model Supporting Reachability Analysis and Dead Code
Detection
Yih-Farn Chen, Emden R. Gansner, Eleftherios Koutsofios (AT&T
Research, USA)
The Use of Program Profiling for Software Maintenance with
Applications to the Year 2000 Problem
Thomas Reps (University of Wisconsin-Madison, USA); Thomas Ball
(Lucent Technologies, USA); Manuvir Das, James Larus (University of
Wisconsin-Madison, USA)
Reduction and Slicing of Hierarchical State Machines
Mats P.E. Heimdahl (University of Minnesota, USA)
Session 8B. Decomposition and Distribution
Chair: Murali Sitaraman (West Virginia University, USA)
A Pattern-Based Application Generator for Building Simulation
Martin Schütze, Jan Peter Riegel, Gerhard Zimmermann
(Universität Kaiserslautern, Germany)
Executable Connectors: Towards Reusable Design Elements
Stéphane Ducasse, Tamar Richner (Universität Bern,
Switzerland)
Expressing Code Mobility in Mobile UNITY
Gian Pietro Picco (Politecnico di Torino, Italy); Gruia-Catalin
Roman, Peter J. McCann (Washington University, St. Louis, USA)
Session 8C. Demonstrations 2
Chair: Georg Trausmuth (Technische Universität Wien, Austria)
Demonstrations of tools and system prototypes
14:00-15:30
Session 9. Invited Talk
Chair: Lori Clarke (University of Massachusetts, USA)
Developing Multimedia Applications
with the Win-Win Spiral Model
Barry W. Boehm (University of Southern California, Los Angeles,
USA), recipient of the 1997 SIGSOFT Outstanding Research Award
15:30-16:00
Closing Session, End of Conference
Chair: Helmut Schauer (Universität Zürich, Switzerland)
Farewell
Invitation to next ESEC and FSE