7. ESEC / 7. SIGSOFT FSE 1999: Toulouse, France

@proceedings{DBLP:conf/esec/1999,
  editor    = {Oscar Nierstrasz and
               Michel Lemoine},
  title     = {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
               1999, Proceedings},
  booktitle = {ESEC / SIGSOFT FSE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1687},
  year      = {1999},
  isbn      = {3-540-66538-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• Kent Beck:
  Extreme Programming: A Discipline of Software Development. 1
  Electronic Edition (Springer LINK) BibTeX
• Krzysztof Czarnecki, Ulrich W. Eisenecker:
  Components and Generative Programming. 2-19
  Electronic Edition (Springer LINK) BibTeX

Software Components

• Manfred Hauswirth, Mehdi Jazayeri:
  A Component and Communication Model for Push Systems. 20-38
  Electronic Edition (Springer LINK) BibTeX
• Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman:
  A Fine-Grained Model for Code Mobility. 39-56
  Electronic Edition (Springer LINK) BibTeX
• Vered Gafni:
  Robots: A Real-Time Systems Architectural Style. 57-74
  Electronic Edition (Springer LINK) BibTeX

Software Process

• Brian Warboys, Dharini Balasubramaniam, R. Mark Greenwood, Graham N. C. Kirby, Ken Mayes, Ronald Morrison, David S. Munro:
  Collaboration and Composition: Issues for a Second Generation Process Language. 75-90
  Electronic Edition (Springer LINK) BibTeX
• Dirk Jäger, Ansgar Schleicher, Bernhard Westfechtel:
  Using UML for Software Process Modeling. 91-108
  Electronic Edition (Springer LINK) BibTeX
• Frank Padberg:
  A Probabilistic Model for Software Projects. 109-126
  Electronic Edition (Springer LINK) BibTeX

Specification

• Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese:
  Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. 127-145
  Electronic Edition (Springer LINK) BibTeX
• Angelo Gargantini, Constance L. Heitmeyer:
  Using Model Checking to Generate Tests from Requirements Specifications. 146-162
  Electronic Edition (Springer LINK) BibTeX
• Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller:
  Specification-Based Prototyping for Embedded Systems. 163-179
  Electronic Edition (Springer LINK) BibTeX

Program Analysis

• Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps:
  Coping with Type Casts in C. 180-198
  Electronic Edition (Springer LINK) BibTeX
• Donglin Liang, Mary Jean Harrold:
  Efficient Points-to Analysis for Whole-Program Analysis. 199-215
  Electronic Edition (Springer LINK) BibTeX
• Thomas Ball:
  The Concept of Dynamic Analysis. 216-234
  Electronic Edition (Springer LINK) BibTeX
• Atanas Rountev, Barbara G. Ryder, William Landi:
  Data-Flow Analysis of Program Fragments. 235-252
  Electronic Edition (Springer LINK) BibTeX

Testing and Debugging

• Andreas Zeller:
  Yesterday, My Program Worked. Today, It Does Not. Why? 253-267
  Electronic Edition (Springer LINK) BibTeX
• Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa:
  Comparison Checking: An Approach to Avoid Debugging of Optimized Code. 268-284
  Electronic Edition (Springer LINK) BibTeX
• Juei Chang, Debra J. Richardson:
  Structural Specification-Based Testing: Automated Support and Experimental Evaluation. 285-302
  Electronic Edition (Springer LINK) BibTeX
• Tibor Gyimóthy, Árpád Beszédes, István Forgács:
  An Efficient Relevant Slicing Method for Debugging. 303-321
  Electronic Edition (Springer LINK) BibTeX

Java

• Martin P. Robillard, Gail C. Murphy:
  Analyzing Exception Flow in Java Programs. 322-327
  Electronic Edition (Springer LINK) BibTeX
• Gleb Naumovich, George S. Avrunin, Lori A. Clarke:
  An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs. 338-354
  Electronic Edition (Springer LINK) BibTeX
• Boris Bokowski:
  CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java. 355-374
  Electronic Edition (Springer LINK) BibTeX

Architecture and Models

• Hugo Fierz:
  The CIP Method: Component- and Model-Based Construction of Embedded Systems. 375-392
  Electronic Edition (Springer LINK) BibTeX
• Michel Wermelinger, José Luiz Fiadeiro:
  Algebraic Software Architecture Reconfiguration. 393-409
  Electronic Edition (Springer LINK) BibTeX
• Pascal Fradet, Daniel Le Métayer, Michaël Périn:
  Consistency Checking for Multiple View Software Architectures. 410-428
  Electronic Edition (Springer LINK) BibTeX

Reuse

• Stan Jarzabek, Peter Knauber:
  Synergy between Component-Based and Generative Approaches. 429-445
  Electronic Edition (Springer LINK) BibTeX
• Joachim Bayer, Jean-Francois Girard, Martin Würthner, Jean-Marc DeBaud, Martin Apel:
  Transitioning Legacy Assets to a Product Line Architecture. 446-463
  Electronic Edition (Springer LINK) BibTeX
• Stephen E. Dossick, Gail E. Kaiser:
  CHIME: A Metadata-Based Distributed Software Development Environment. 464-475
  Electronic Edition (Springer LINK) BibTeX

Verification and Checking

• Gilles Grimaud, Jean-Louis Lanet, Jean-Jacques Vandewalle:
  FACADE: A Typed Intermediate Language Dedicated to Smart Cards. 476-493
  Electronic Edition (Springer LINK) BibTeX
• Víctor A. Braberman, Miguel Felder:
  Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. 494-510
  Electronic Edition (Springer LINK) BibTeX
• Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer:
  Checking Progress with Action Priority: Is it Fair? 511-527
  Electronic Edition (Springer LINK) BibTeX