Skip to main content
SpringerLink
Log in

Software Engineering - ESEC/FSE '99

7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Oscar Nierstrasz

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michel Lemoine

    1. ONERA Centre de Toulouse, DPRS/SAE, Toulouse Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1687)

Included in the following conference series:

Conference proceedings info: ESEC 1999, SIGSOFT FSE 1999.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 papers)

  1. Front Matter

    Pages I-XII
    Download chapter 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
Back to top

Other volumes

  1. Software Engineering — ESEC/FSE ’99

Keywords

About this book

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.

Editors and Affiliations

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

    Oscar Nierstrasz

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

    Michel Lemoine

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation