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

Oscar Nierstrasz, Michel Lemoine (Eds.): 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. Lecture Notes in Computer Science 1687 Springer 1999, ISBN 3-540-66538-2

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 Wed May 22 23:27:30 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page