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
  
• Krzysztof Czarnecki, Ulrich W. Eisenecker:
  Components and Generative Programming. 2-19
  

Software Components

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

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
  
• Dirk Jäger, Ansgar Schleicher, Bernhard Westfechtel:
  Using UML for Software Process Modeling. 91-108
  
• Frank Padberg:
  A Probabilistic Model for Software Projects. 109-126
  

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
  
• Angelo Gargantini, Constance L. Heitmeyer:
  Using Model Checking to Generate Tests from Requirements Specifications. 146-162
  
• Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller:
  Specification-Based Prototyping for Embedded Systems. 163-179
  

Program Analysis

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

Testing and Debugging

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

Java

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

Architecture and Models

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

Reuse

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

Verification and Checking

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

Last update Thu May 24 04:17:20 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page