Software Engineering - ESEC/FSE '99

Extreme Programming: A Discipline of Software Development.- Components and Generative Programming.- A Component and Communication Model for Push Systems.- A Fine-Grained Model for Code Mobility.- Robots: A Real-Time Systems Architectural Style.- Collaboration and Composition: Issues for a Second Generation Process Language.- Using UML for Software Process Modeling.- A Probabilistic Model for Software Projects.- Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future?.- Using Model Checking to Generate Tests from Requirements Specifications.- Specification-Based Prototyping for Embedded Systems'.- Coping with Type Casts in C.- Efficient Points-to Analysis for Whole-Program Analysis.- The Concept of Dynamic Analysis.- Data-Flow Analysis of Program Fragments.- Yesterday, my Program Worked. Today, it Does Not. Why?.- Comparison Checking: An Approach to Avoid Debugging of Optimized Code.- Structural Specification-Based Testing: Automated Support and Experimental Evaluation.- An Efficient Relevant Slicing Method for Debugging.- Analyzing Exception Flow in Java(TM) Programs.- An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs.- CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java.- The CIP Method: Component- and Model-Based Construction of Embedded Systems.- Algebraic Software Architecture Reconfiguration.- Consistency Checking for Multiple View Software Architectures.- Synergy Between Component-Based and Generative Approaches.- Transitioning Legacy Assets to a Product Line Architecture.- CHIME: A Metadata-Based Distributed Software Development Environment.- FACADE: A Typed Intermediate Language Dedicated to Smart Cards.- Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification.- Checking Progress with Action Priority: Is it Fair?.