What is included with this book?
Invited Papers | |
Extreme Programming: A Discipline of Software Development (Abstract) | p. 1 |
Components and Generative Programming | p. 2 |
Software Components | |
A Component and Communication Model for Push Systems | p. 20 |
A Fine-Grained Model for Code Mobility | p. 39 |
Robots: A Real-Time Systems Architectural Style | p. 57 |
Software Process | |
Collaboration and Composition: Issues for a Second Generation Process Language | p. 75 |
Using UML for Software Process Modeling | p. 91 |
A Probabilistic Model for Software Projects | p. 109 |
Specification | |
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future | p. 127 |
Using Model Checking to Generate Tests from Requirements Specifications | p. 146 |
Specification-Based Prototyping for Embedded Systems | p. 163 |
Program Analysis | |
Coping with Type Casts in C | p. 180 |
Efficient Points-to Analysis for Whole-Program Analysis | p. 199 |
The Concept of Dynamic Analysis | p. 216 |
Data-Flow Analysis of Program Fragments | p. 235 |
Testing and Debugging | |
Yesterday, My Program Worked. Today, It Does Not. Why? | p. 253 |
Comparison Checking: An Approach to Avoid Debugging of Optimized Code | p. 268 |
Structural Specification-Based Testing: Automated Support and Experimental Evaluation | p. 285 |
An Efficient Relevant Slicing Method for Debugging | p. 303 |
Java | |
Analyzing Exception Flow in JavaÖ Programs | p. 322 |
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs | p. 338 |
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java | p. 355 |
Architecture and Models | |
The CIP Method: Component- and Model-Based Construction of Embedded Systems | p. 375 |
Algebraic Software Architecture Reconfiguration | p. 393 |
Consistency Checking for Multiple View Software Architectures | p. 410 |
Reuse | |
Synergy between Component-Based and Generative Approaches | p. 429 |
Transitioning Legacy Assets to a Product Line Architecture | p. 446 |
CHIME: A Metadata-Based Distributed Software Development Environment | p. 464 |
Verification and Checking | |
FACADE: A Typed Intermediate Language Dedicated to Smart Cards | p. 476 |
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification | p. 494 |
Checking Progress with Action Priority: Is it Fair? | p. 511 |
Author Index | p. 529 |
Table of Contents provided by Publisher. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.