ICSE 1994
44 papers
- A Formal Approach to Determining Parallel Resource Bindings: Experience Report
- A Framework for Evaluating Regression Test Selection Techniques
- A Paradigm for Decentralized Process Modeling and Its Realization in the Oz Environment
- A Periodic Object Model for Real-Time Systems
- A Process for Hitting Paydirt
- A Programmer Performance Measure Based on Programmer State Transitions in Testing and Debugging Process
- An Experiment to Assess Different Defect Detection Methods for Software Requirements Inspections
- An Instrumented Approach to Improving Software Quality Through Formal Technical Review
- An Integrated Method for Effective Behaviour Analysis of Distributed Systems
- Automated Construction of Testing and Analysis Tools
- Comprehension Processes During Large Scale Maintenance
- Distributed Software Engineering
- Exoskeletal Software
- Experience with the Development of Hard Real-Time Embedded Ada Software
- Experiments of the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria
- Facts and Myths Affecting Software Reuse
- Formal Specification Techniques (Extended Abstract)
- Formalizing Architectural Connection
- Lessons from Using Basic LOTOS
- Nico Habermann's Research: A Brief Retrospective
- On Formal Requirements Modeling Languages: RML Revisited
- On the Inference of Configuration Structures from Source Code
- Reuse Facts and Myths
- SAAM: A Method for Analyzing the Properties of Software Architectures
- Software Aging
- Software Architecture: Practice, Potential, and Pitfalls
- Software Architectures: Critical Success Factors and Cost Drivers
- Software Engineering Education: A Place in the Sun?
- Software Engineering and Artificial Intelligence
- Software Process Description Using LOTOS and Its Enaction
- Software Process Improvement Experience in the DP/MIS Function: Experience Report
- Software Reuse - Facts and Myths
- Software Reuse Experience at Hewlett-Packard
- Software Reuse Myths Revisited
- Storing and Retrieving Software Components: A Refinement Based System
- TestTube: A System for Selective Regression Testing
- The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report
- The SMART Approach for Software Process Engineering
- The Use of Description Logics in KBSE Systems: Experience Report
- Understanding "Why" in Software Process Modelling, Analysis, and Design
- Visualizing Software Systems
- What Small Business and Small Organizations Say About the CMM: Experience Report
- Workshop on Software Engineering and computer-Human Interaction: Joint Research Issues
- Workshop on the Intersection Between Databases and Software Engineering