FSE 1996
22 papers
- Abstracting Dependencies between Software Configuration Items
- Automated Support for Seamless Interoperability in Polylingual Software Systems
- Checking Relational Specifications With Binary Decision Diagrams
- Decoupling Change from Design
- Dynamic Structure in Software Architectures
- Engineering Bridges: From Concept to Reality (Abstract)
- Evolution of Object Behavior Using Context Relations
- Formal Refinement Patterns for Goal-Driven Requirements Elaboration
- Generating Oracles from Your Favorite Temporal Logic Specifications
- Industrial Priorities for Software Engineering Research (Panel)
- Model Checking Large Software Specifications
- Predicting the Cost-Effectiveness of Regression Testing Strategies
- Problems, Methods, and Structures (Abstract)
- Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses
- Program Generalization for Software Reuse: From C to C++
- Software Architecture Styles as Graph Grammars
- Software Systems Architecting (Abstract)
- Specification-based Testing of Synchronous Software
- Tool Support for Planning the Restructuring of Data Abstractions in Large Systems
- Using Object-Oriented Typing to Support Architectural Design in the C2 Style
- Verification of Communication Protocols Using Data Flow Analysis
- What Can Programming Languages Contribute to Software Engineering, and Vice Versa? (Panel)