ICSE 1981
50 papers
- A Comparison of Lifecycle Models
- A Database Model for Effective Configuration Management in the Programming Environment
- A Meta-Model for Software Development Resource Expenditures
- A Partition Analysis Method to Increase Program Reliability
- A Procedure for Designing Abstract Interfaces for Device Interface Modules
- A Report on Random Testing
- A Requirements and Design Aid for Relational Data Bases
- A Robust B-Tree Implementation
- A Software Methodology for Buidling Interactive Tools
- A User Interface for Online Assistance
- Active Data Structures
- An Algorithm to Support Code-Skeleton Generation for Concurrent Systems
- An Automated Program Testing Methodology and Its Implementation
- An Incremental Programming Environment
- An Index Organization for Applications with Highly Skewed Access Patterns
- An Innovative Approach to System Requirements Analysis by Using Structural Modeling Method
- An Interactive Tool for Program Manipulation
- Application Downloading
- BIGMAC II: A FORTRAN Language Augmentation Tool
- Beyond ALBE/P: Language Neutral Form
- Completeness Criteria for Testing Elementary Program Functions
- Conspectus of Software Engineering Environments
- Development of Computer Programs by Problem Analysis Diagram (PAD)
- Early Experiences with Euclid
- Evaluation of a Software Requirements Document by Analysis of Change Data
- Executable Requirements for Embedded Systems
- Experience with Application of Modern Software Management Controls
- Experience with a Modular Typed Language: PROTEL
- HFP: A Hierarchical and Functional Programming Based on Attribute Grammar
- Implementing a Software Management Discipline
- Interactive Software Development Tool: ISDT
- Lilith: A Personal Computer for the Software Engineer
- Methods for Improving Controlled Experimentation in Software Engineering
- On the Time Overhead of Counters and Traversal Markers
- Program Complexity Measure for Software Development Management
- Program Refinement by Transsformation
- Program Slicing
- Prototyping as a Tool in the Specification of User Requirements
- Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming
- Software Architecture Based on Communicating Residential Environments
- Specifying and Proving Properties of Sentinel Processes
- Sufficient Tset Sets for Path Analysis Testing Strategies
- The Effect of Modularization and Comments on Program Comprehension
- The Effects of Symbology and Spatial Arrangement on the Comprehension of Software Specifications
- The Evolution of Programs: Program Abstraction and Instantiation
- The Finalization Operation for Abstract Types
- The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology
- Use of Cluster Analysis to Evaluate Software Engineering Methodologies
- User Software Engineering and the Design of Interactive Systems
- Using Attributed Grammars to Test Designs and Implementations