Software Engineering - ESEC/FSE '99

1. Front Matter

   Pages I-XII

   PDF

2. Extreme Programming: A Discipline of Software Development

   • Kent Beck

   Pages 1-1

3. Components and Generative Programming

   • Krzysztof Czarnecki, Ulrich W. Eisenecker

   Pages 2-19

4. A Component and Communication Model for Push Systems

   • Manfred Hauswirth, Mehdi Jazayeri

   Pages 20-38

5. A Fine-Grained Model for Code Mobility

   • Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman

   Pages 39-56

6. Robots: A Real-Time Systems Architectural Style

   • Vered Gafni

   Pages 57-74

7. Collaboration and Composition: Issues for a Second Generation Process Language

   • B. C. Warboys, D. Balasubramaniam, R. M. Greenwood, G. N. C. Kirby, K. Mayes, R. Morrison et al.

   Pages 75-90

8. Using UML for Software Process Modeling

   • Dirk Jäger, Ansgar Schleicher, Bernhard Westfechtel

   Pages 91-108

9. A Probabilistic Model for Software Projects

   • Frank Padberg

   Pages 109-126

10. Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future?

    • Nancy G. Leveson, Mats P. E. Heimdahl, Jon Damon Reese

    Pages 127-146

11. Using Model Checking to Generate Tests from Requirements Specifications

    • Angelo Gargantini, Constance Heitmeyer

    Pages 146-162

12. Specification-Based Prototyping for Embedded Systems’

    • Jeffrey M. Thompson, Mats P. E. Heimdahl, Steven P. Miller

    Pages 163-179

13. Coping with Type Casts in C

    • Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas Reps

    Pages 180-198

14. Efficient Points-to Analysis for Whole-Program Analysis

    • Donglin Liang, Mary Jean Harrold

    Pages 199-215

15. The Concept of Dynamic Analysis

    • Thomas Ball

    Pages 216-234

16. Data-Flow Analysis of Program Fragments

    • Atanas Rountev, Barbara G. Ryder, William Landi

    Pages 235-252

17. Yesterday, my Program Worked. Today, it Does Not. Why?

    • Andreas Zeller

    Pages 253-267

18. Comparison Checking: An Approach to Avoid Debugging of Optimized Code

    • Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa

    Pages 268-284

19. Structural Specification-Based Testing: Automated Support and Experimental Evaluation

    • Juei Chang, Debra J. Richardson

    Pages 285-302

20. An Efficient Relevant Slicing Method for Debugging

    • Tibor Gyimóthy, Árpád Beszédes, István Forgács

    Pages 303-321

For the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE). Although the two conferences have different origins and traditions, there is a significant overlap in intent and subject matter. Holding the conferences jointly when they are held in Europe helps to make these thematic links more explicit, and enco- ages researchers and practitioners to attend and submit papers to both events. The ESEC proceedings have traditionally been published by Springer-Verlag, as they are again this year, but by special arrangement, the proceedings will be distributed to members of ACM SIGSOFT, as is usually the case for FSE. ESEC/FSE is being held as a single event, rather than as a pair of collocated events. Submitted papers were therefore evaluated by a single program committee. ESEC/FSE represents a broad range of software engineering topics in (mainly) two continents, and consequently the program committee members were selected to represent a spectrum of both traditional and emerging software engineering topics. A total of 141 papers were submitted from around the globe. Of these, nearly half were classified as research - pers,aquarterasexperiencepapers,andtherestasbothresearchandexperiencepapers. Twenty-nine papers from five continents were selected for presentation and inclusion in the proceedings. Due to the large number of industrial experience reports submitted, we have also introduced this year two sessions on short case study presentations.

• Debugging
• Exception
• Java
• Software Engineering
• Software Process
• Software Reuse
• Specification
• Verification
• algorithms
• architecture
• configuration
• design
• modeling
• programming
• software architecture

• Institut für Informatik (IAM), Universität Bern, Bern, Switzerland

  Oscar Nierstrasz

• ONERA Centre de Toulouse, DPRS/SAE, Toulouse Cedex, France

  Michel Lemoine

Policies and ethics