ICSE 1989
59 papers
- "Not Waving but Drowning": Representation Schemes for Modelling Software Development
- A Formal Adaptation Method for Process Descriptions
- A Generic Model for Representing Design Methods
- A Hierarchical and Functional Software Process Description and Its Enaction
- A Knowledge-Based Environment for the Development of Software Parts Composition Systems
- A Model for the Reuse of Software Design Information
- A Process-Oriented Approach to Configuration Management
- An Algebraic Data Type Specification Language and Its Rapid Prototyping Environment
- An Error Complexity Model for Software Reliability Measurement
- Completely Validated Software
- Completeness, Robustness, and Safety in Real-Time Software Requirements Specification
- Configuration Management in BiiN SMS
- Declarative Visualization in the Shared Dataspace Paradigm
- Does Imperfect Debugging Affect Software Reliability Growth?
- Error-Based Validation Completeness
- In Defense of Coverage Criteria
- Mathematics-Based Software Engineering for Completely Validated Software
- Modeling the Software Engineering Process
- Modular Specification of Incremental Program Transformation Systems
- My Thoughts on Software Engineering in the Late 1960s
- NLH/E: A Natural Language Help System
- ObNet: An Object-Oriented Approach for Supporting Large, Long-Lived, Highly Configurable Systems
- Object Management in a CASE Environment
- Performance Engineering as a Part of the Development Life Cycle for Large-Scale Software Systems
- Remembrances of a Graduate Student
- Rethinking the Taxonomy of Fault Detection Techniques
- SRE: A Knowledge-Based Environment for Large-Scale Software Re-Engineering Activities
- Software Development Process from Natural Language Specification
- Software Development in the Year 2000
- Software Development: State of the Art vs. State of the Practice
- Software Engineering Research Agendas - A View from the Trenches (Panel)
- Software Engineering for Business DP: Looking Back and Looking Forward
- Software Engineering in the Year 2001
- Software Process Modeling Experience (Panel Session Position Paper)
- Software Process Modeling: Principles of Entity Process Models
- Software Survivor
- Stepwise Refinement Process with Modularity: An Algebraic Approach
- Structuring Criteria for Real Time System Design
- Task Interaction Graphs for Concurrency Analysis
- Technology Dependence in Function Point Analysis: A Case Study and Critical Review
- Test Adequacy and Program Mutation
- The Dimensionality of Program Complexity
- The IDeA Design Environment
- The Inscape Environment
- The NATO Conferences form the Perspective of an Active Software Engineer
- The Relationship between Slices and Module Cohesion
- The Scientific Engineering of Software
- The State of Software Engineering Practice: A Preliminary Report
- Thoughts on Software Engineering
- Three Problems Overcome with Behavioral Models of the Software Development Process
- Timing Analysis of Cyclic Concurrent Programs
- Tool Integration in the Pact Environment
- Tools to Support Formal Methods
- Twenty Years of Software Engineering: Looking Forward, Looking Back
- Twenty-Year Retrospective: The NATO Software Engineering Conferences
- Validating System Requirements by Functional Decomposition and Dynamic Analysis
- Validation Through Testing
- What We Really Need Are Process Model Generators
- Work Structures and Shifts: An Empirical Analysis of Software Specification Teamwork