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