Ebook: 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

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.

---

This book constitutes the refereed proceedings of the 7th European Software Engineering Conference, ESEC'99, held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering in Toulouse, France in September 1999.
The 29 revised full papers presented together with two invited contributions were carefully reviewed and selected from a total of 141 submissions. The papers are organized in topical sections on software components, software process, specification, program analysis, testing and debugging, Java, architectures and models, reuse, and verification and checking.

---

This book constitutes the refereed proceedings of the 7th European Software Engineering Conference, ESEC'99, held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering in Toulouse, France in September 1999.
The 29 revised full papers presented together with two invited contributions were carefully reviewed and selected from a total of 141 submissions. The papers are organized in topical sections on software components, software process, specification, program analysis, testing and debugging, Java, architectures and models, reuse, and verification and checking.
Content:
Front Matter....Pages I-XII
Extreme Programming: A Discipline of Software Development....Pages 1-1
Components and Generative Programming....Pages 2-19
A Component and Communication Model for Push Systems....Pages 20-38
A Fine-Grained Model for Code Mobility....Pages 39-56
Robots: A Real-Time Systems Architectural Style....Pages 57-74
Collaboration and Composition: Issues for a Second Generation Process Language....Pages 75-90
Using UML for Software Process Modeling....Pages 91-108
A Probabilistic Model for Software Projects....Pages 109-126
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future?....Pages 127-146
Using Model Checking to Generate Tests from Requirements Specifications....Pages 146-162
Specification-Based Prototyping for Embedded Systems’....Pages 163-179
Coping with Type Casts in C....Pages 180-198
Efficient Points-to Analysis for Whole-Program Analysis....Pages 199-215
The Concept of Dynamic Analysis....Pages 216-234
Data-Flow Analysis of Program Fragments....Pages 235-252
Yesterday, my Program Worked. Today, it Does Not. Why?....Pages 253-267
Comparison Checking: An Approach to Avoid Debugging of Optimized Code....Pages 268-284
Structural Specification-Based Testing: Automated Support and Experimental Evaluation....Pages 285-302
An Efficient Relevant Slicing Method for Debugging....Pages 303-321
Analyzing Exception Flow in Java™ Programs....Pages 322-337
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs....Pages 338-354
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java....Pages 355-374
The CIP Method: Component- and Model-Based Construction of Embedded Systems....Pages 375-392
Algebraic Software Architecture Reconfiguration....Pages 393-409
Consistency Checking for Multiple View Software Architectures....Pages 410-428
Synergy Between Component-Based and Generative Approaches....Pages 429-445
Transitioning Legacy Assets to a Product Line Architecture....Pages 446-463
CHIME: A Metadata-Based Distributed Software Development Environment....Pages 464-475
FACADE: A Typed Intermediate Language Dedicated to Smart Cards....Pages 476-493
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification....Pages 494-510
Checking Progress with Action Priority: Is it Fair?....Pages 511-527
Back Matter....Pages 529-529

---

This book constitutes the refereed proceedings of the 7th European Software Engineering Conference, ESEC'99, held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering in Toulouse, France in September 1999.
The 29 revised full papers presented together with two invited contributions were carefully reviewed and selected from a total of 141 submissions. The papers are organized in topical sections on software components, software process, specification, program analysis, testing and debugging, Java, architectures and models, reuse, and verification and checking.
Content:
Front Matter....Pages I-XII
Extreme Programming: A Discipline of Software Development....Pages 1-1
Components and Generative Programming....Pages 2-19
A Component and Communication Model for Push Systems....Pages 20-38
A Fine-Grained Model for Code Mobility....Pages 39-56
Robots: A Real-Time Systems Architectural Style....Pages 57-74
Collaboration and Composition: Issues for a Second Generation Process Language....Pages 75-90
Using UML for Software Process Modeling....Pages 91-108
A Probabilistic Model for Software Projects....Pages 109-126
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future?....Pages 127-146
Using Model Checking to Generate Tests from Requirements Specifications....Pages 146-162
Specification-Based Prototyping for Embedded Systems’....Pages 163-179
Coping with Type Casts in C....Pages 180-198
Efficient Points-to Analysis for Whole-Program Analysis....Pages 199-215
The Concept of Dynamic Analysis....Pages 216-234
Data-Flow Analysis of Program Fragments....Pages 235-252
Yesterday, my Program Worked. Today, it Does Not. Why?....Pages 253-267
Comparison Checking: An Approach to Avoid Debugging of Optimized Code....Pages 268-284
Structural Specification-Based Testing: Automated Support and Experimental Evaluation....Pages 285-302
An Efficient Relevant Slicing Method for Debugging....Pages 303-321
Analyzing Exception Flow in Java™ Programs....Pages 322-337
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs....Pages 338-354
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java....Pages 355-374
The CIP Method: Component- and Model-Based Construction of Embedded Systems....Pages 375-392
Algebraic Software Architecture Reconfiguration....Pages 393-409
Consistency Checking for Multiple View Software Architectures....Pages 410-428
Synergy Between Component-Based and Generative Approaches....Pages 429-445
Transitioning Legacy Assets to a Product Line Architecture....Pages 446-463
CHIME: A Metadata-Based Distributed Software Development Environment....Pages 464-475
FACADE: A Typed Intermediate Language Dedicated to Smart Cards....Pages 476-493
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification....Pages 494-510
Checking Progress with Action Priority: Is it Fair?....Pages 511-527
Back Matter....Pages 529-529
....