ICSE 1988
46 papers
- A Method for Asynchronous Parallelization
- A Programming Environment Supporting Reuse of Object-Oriented Software
- A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques
- Algebraic Specification of Macintosh's Quickdraw Using OBJ2
- An Early Report on Encompass
- An Operational Requirement Description Model for Open Systems
- Assessing the Quality of Abstract Data Types Written in Ada
- Automatic Programming for Streams II: Transformational Implementation
- Demeter: A Case Study of Software Growth through Parameterized Classes
- Deriving Specifications from Requirements
- Design Principles behind Chiron: A UIMS for Software Environments
- Design and Test of Distributed Applications
- Enhancing Program Readability and Comprehensibility with Tools for Program Visualization
- Evolution of Tools (Abstract)
- Extension and Software Development
- Heuristic Software Partitioning Algorithms for Distributed Real-Time Applications
- High-Level Specification of Concurrency Control in Distributed Database Systems
- Implications of Hardware Advances for Software Development
- Integrated Support for Project Management
- Interpretation in a Tool-Fragment Environment
- KDA - A Tool for Automatic Design Evaluation and Refinement Using the Blackboard Model of Control
- Language and Visualization Support for Large-Scale Concurrency
- Modeling Mutation on a Vector Processor
- Modeling Software Tools with Icon
- Modeling of Data-Processing Software for Generating and Reusing Their Programs
- Models of Software Development Environments
- On the Influence of Scale in a Distributed System
- PILOT: A Prescription for Program Performance Measurement
- Plenary Session-Software for Space Station
- Programming at the Processor-Memory-Switch Level
- Recording the Reasons for Design Decisions
- Requirements Analysis for Real-Time Automation Projects
- Rigi - A System for Programming-in-the-Large
- SDA: A Novel Approach to Software Environment Design and Construction
- STATEMATE; A Working Environment for the Development of Complex Reactive Systems
- Safety Verification in Murphy Using Fault Tree Analysis
- Software Development Productivity Tools and Metrics
- Software Engineering for Distributed Applications: The Design Project
- Software Process Modeling: A Behavioral Approach
- Software Reuse (Panel Abstract)
- Static Analysis-Based Program Evolution Support in the Common Lisp Framework
- Theory-W Software Project Management: A Case Study
- Tools for Real-Time System Design
- Using Raddle To Design Distributed Systems
- Validating the TAME Resource Data Model
- m-EVES: A Tool for Verifying Software