Extreme Programming: A Discipline of Software Development
Abstract elided by the publisher.
2,847 papers · page 135 of 143
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java
Abstract elided by the publisher.
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification
Abstract elided by the publisher.
Structural Specification-Based Testing: Automated Support and Experimental Evaluation
Abstract elided by the publisher.
Components and Generative Programming
Abstract elided by the publisher.
CHIME: A Metadata-Based Distributed Software Development Environment
Abstract elided by the publisher.
The CIP Method: Component- and Model-Based Construction of Embedded Systems
Abstract elided by the publisher.
Consistency Checking for Multiple View Software Architectures
Abstract elided by the publisher.
Robots: A Real-Time Systems Architectural Style
Abstract elided by the publisher.
Using Model Checking to Generate Tests from Requirements Specifications
Abstract elided by the publisher.
Checking Progress with Action Priority: Is it Fair?
Abstract elided by the publisher.
FACADE: A Typed Intermediate Language Dedicated to Smart Cards
Abstract elided by the publisher.
An Efficient Relevant Slicing Method for Debugging
Abstract elided by the publisher.
A Component and Communication Model for Push Systems
Abstract elided by the publisher.
Using UML for Software Process Modeling
Abstract elided by the publisher.
Comparison Checking: An Approach to Avoid Debugging of Optimized Code
Abstract elided by the publisher.
Synergy between Component-Based and Generative Approaches
Abstract elided by the publisher.
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future
Abstract elided by the publisher.
Efficient Points-to Analysis for Whole-Program Analysis
Abstract elided by the publisher.
A Fine-Grained Model for Code Mobility
Abstract elided by the publisher.