ICSE 1979
52 papers
- A Constructive Approach to Reliable Synchronization Code
- A Flexible Environment for Program Development Based on a Symbolic Interpreter
- A New Technique for Improving the Quality of Computer Programs
- A Recovery Mechanism for Modular Software
- A System for Program Refinement
- A System to Improve incorrect Programs
- An Analysis of Software Project Failure
- An Environment for Producing Well-Engineered Microcomputer Software
- An Experiment in Software Engineering: The Architecture Research Facility as a Case Study
- An Inter-Organizational Comparison of Programming Productivity
- An Interactive FORTRAN Structuring Aid
- Anomaly Detection in Concurrent Programs
- CORE : A Method for Controlled Requirement Expression
- Central Flow Control Software Development: A Case Study of the Effectiveness of Software Engineering Techniques
- Computer Aided Design of Software Systems
- Computer-Aided Micro-Analysis of Programs
- Cross Software Development for Microprocessors Using a Translator Writing System
- EPOS : A Specification and Design Technique for Computer Controlled Real-time Automation Systems
- Finite Semantics for Program Testing
- France on An Approach Towards Reliable Software
- Hierarchical Coroutines: A Mechanism for Improved Program Structure
- Invariants for Specifications
- Language Features for Description of Cooperating Processes
- Module Structure in an Evolving Family of Real Time Systems
- On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants
- On An Overview
- On CADES-Software Engineering in Practice
- On Microprocessors: A Platform for True Program Portability with Examples from Microcobal
- On Software Engineering Tools: Past, Present and Future
- On Software Engineering-An Economic Perspective
- On Synchronization and Recovery in Database Systems
- PEARL At the Age of Three
- Path Expressions in Pascal
- Pilot: A Software Engineering Case Study
- Pragmatic Techniques for Program Analysis and Verification
- Prediction and Management of Program Quality
- Software Development Based on Module Interconnection
- Software Engineering : As It Should Be
- Software Engineering : As It Will Be
- Software Engineering: As it is
- Software Engineering: As it was in 1968
- Software Engineering: Management, Personnel and Methodology
- Some Results from an Empirical Study of Computer Software
- Specification and Implementation of Parallel Activities on Abstract Objects
- TASK Forces: Distributed Software for Solving Problems of Substantial Size
- Test Plan Generation Using Formal Grammars
- The APL2M System : A General Computer-Aided Software Engineering Environment for Mini and Microcomputers
- The Computer Assisted Software (Case) System
- The Impact of Mesa on System Design
- The Project Library : A Tool for Software Development
- The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology
- Third Time Charm: Stronger Replication of the Ability of Software Complexity Metrics to Predict Programmer Performance