ISBN: 3-540-66538-2
TITLE: Software Engineering - ESEC/FSE '99
AUTHOR: Nierstrasz, Oskar; Lemoine, Michel (Eds.)
TOC:

Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract) 1
Kent Beck (Daedalos Consulting)
Components and Generative Programming 2
Krzysztof Czarnecki (DaimlerChrysler AG Research and Technology, Ulm), Ulrich W. Eisenecker (University of Applied Sciences, Heidelberg)
Software Components
A Component and Communication Model for Push Systems 20
Manfred Hauswirth, Mehdi Jazayeri (Technical University of Vienna)
A Fine-Grained Model for Code Mobility 39
Cecilia Mascolo (Universit di Bologna), Gian Pietro Picco (Politecnico di Milano), Gruia-Catalin Roman (Washington University)
Robots: A Real-Time Systems Architectural Style 57
Vered Gafni (MBT, Israel Aircraft Industries)
Software Process
Collaboration and Composition: Issues for a Second Generation Process Language 75
Brian C. Warboys (University of Manchester), Dharini Balasubramaniam (University of St Andrews), R. Mark Greenwood (University of Manchester), Graham N.C. Kirby (University of St. Andrews), Ken Mayes (University of Manchester), Ron Morrison (University of St Andrews), Dave S. Munro (University of Adelaide)
Using UML for Software Process Modeling 91
Dirk Jger, Ansgar Schleicher, Bernhard Westfechtel (Aachen University of Technology)
A Probabilistic Model for Software Projects 109
Frank Padberg (Universitt Saarbrcken)
Specification
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future 127
Nancy G. Leveson (MIT), Mats P.E. Heimdahl (University of Minnesota), Jon Damon Reese
Using Model Checking to Generate Tests from Requirements Specifications 146
Angelo Gargantini (Politecnico di Milano), Constance Heitmeyer (Naval Research Laboratory)
Specification-Based Prototyping for Embedded Systems 163
Jeffrey M. Thompson, Mats P.E. Heimdahl (University of Minnesota), Steven P. Miller (Advanced Technology Center, Rockwell Collins)
Program Analysis
Coping with Type Casts in C 180
Michael Siff (Sarah Lawrence College), Satish Chandra, Thomas Ball (Lucent Technologies), Krishna Kunchithapadam, Thomas Reps (University of Wisconsin)
Efficient Points-to Analysis for Whole-Program Analysis 199
Donglin Liang, Mary Jean Harrold (Ohio State University)
The Concept of Dynamic Analysis 216
Thomas Ball (Bell Labs, Lucent Technologies)
Data-Flow Analysis of Program Fragments 235
Atanas Rountev, Barbara G. Ryder (Rutgers University), William Landi (Siemens Corporate Research Inc)
Testing and Debugging
Yesterday, My Program Worked. Today, It Does Not. Why? 253
Andreas Zeller (Universitt Passau)
Comparison Checking: An Approach to Avoid Debugging of Optimized Code 268
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa (University of Pittsburgh)
Structural Specification-Based Testing: Automated Support and Experimental Evaluation 285
Juei Chang (Sun Microsystems Inc.), Debra J. Richardson (University of California, Irvine)
An Efficient Relevant Slicing Method for Debugging 303
Tibor Gyimthy, rpd Beszdes, Istvn Forgcs (Hungarian Academy of Sciences)
Java
Analyzing Exception Flow in Java Programs 322
Martin P. Robillard, Gail C. Murphy (University of British Columbia)
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs 338
Gleb Naumovich, George S. Avrunin, Lori A. Clarke (University of Massachusetts at Amherst)
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java355
Boris Bokowski (Freie Universitt Berlin)
Architecture and Models
The CIP Method: Component- and Model-Based Construction of Embedded Systems 375
Hugo Fierz (Swiss Federal Institute of Technology ETH)
Algebraic Software Architecture Reconfiguration 393
Michel Wermelinger (Universidade Nova de Lisboa), Jos Luiz Fiadeiro (Universidade de Lisboa)
Consistency Checking for Multiple View Software Architectures 410
Pascal Fradet, Daniel Le Mtayer, Michal Prin (IRISA/INRIA)
Reuse
Synergy between Component-Based and Generative Approaches 429
Stan Jarzabek (National University of Singapore), Peter Knauber (Fraunhofer Institute for Experimental Software Engineering)
Transitioning Legacy Assets to a Product Line Architecture 446
Joachim Bayer, Jean-Franois Girard, Martin Wrthner (Fraunhofer Institute for Experimental Software Engineering), Jean-Marc DeBaud (Lucent PaceLine Technologies), Martin Apel (Tecmath GmbH & Co. KG)
CHIME: A Metadata-Based Distributed Software Development Environment 464
Stephen E. Dossick, Gail E. Kaiser (Columbia University)
Verification and Checking
FACADE: A Typed Intermediate Language Dedicated to Smart Cards 476
Gilles Grimaud (Universit de Lille), Jean-Louis Lanet, Jean-Jacques Vandewalle (Gemplus Research Lab)
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification 494
Victor A. Braberman (Universidad de Buenos Aires), Miguel Felder (Universidad de Buenos Aires/Pragma Consultores)
Checking Progress with Action Priority: Is it Fair? 511
Dimitra Giannakopoulou , Jeff Magee, Jeff Kramer (Imperial College)
Author Index 529
END
