Abstract is missing.
- Process Design Engineering: A Methodology for Real-Time Software DevelopmentS. N. Gaulding, J. D. Lawson. 80-85
- Process Design System: An Integrated Set of Software Development ToolsR. G. Koppang. 86-90
- A Methodology for Decomposing System Requirements Into Data Processing RequirementsK. G. Salter. 91-101
- Adaptive TestingD. W. Cooper. 102-105
- A Laboratory for the Development and Evaluation of BMD Software Quality Enhancement TechniquesJ. P. Benson, R. A. Melton. 106-109
- The Structure and Characteristics of Distributed SystemsC. V. Ravi. 133-137
- A Data Structure and Drive Mechanism for a Table-Driven Simulation System Employing Multilevel Structural Representations of Digital SystemsN. Billawala, Stephen A. Szygenda, Ewald W. Thomson. 151-157
- Using a Command Language as a High-Level Programming LanguageJohn R. Mashey. 169-176
- A Modification Request Control SystemD. B. Knudsen, A. Barofsky, L. R. Satz. 187-192
- A User s Viewpoint on the Programmer s WorkbenchM. H. Bianchi, J. L. Wood. 193-199
- The Role of Software in Successful Computer ApplicationsW. W. Black. 201-205
- The Preliminary Design as a Key to Successful Software DevelopmentJ. M. Dreyfus, P. J. Karacsony. 206-213
- Structural Models for Software Reliability PredictionM. L. Shooman. 268-280
- A Management Approach to the Development of Computer-Based SystemsR. Turn, M. R. Davis, R. N. Reinstedt. 305-311
- An Analysis of the Resources Used in the SAFEGUARD System Software DevelopmentW. E. Stephenson. 312-321
- A Defense View of Software EngineeringWilliaam A. Whitaker. 358-362
- Software Engineering in the Development of the TRIDENT Fire Control SystemR. M. Pollock, W. L. McCoy. 363-369
- Sacificing the Calf of Flexibility on the Altar of ReliabilityPeter J. Denning. 384-386
- A Generalized Assertion LanguageT. S. Chow. 392-399
- Test Procedures: A New Approach to Software VerificationDavid J. Panzl. 477-485
- A Software Reliability Assessment Based on a Structural and Behavioral Analysis of ProgramsS. Pimont, J.-C. Rault. 486-491
- Improved Updating in relational Dat Base Systems by Deuter-Shere AlgorithmsP. Kümmel. 556-561
- A System for Automatic Software EvaluationB. C. Hodges, J. P. Ryan. 617-623