The Software Development System
- 1 January 1977
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-3 (1) , 69-84
- https://doi.org/10.1109/tse.1977.233839
Abstract
This paper contains a discussion of the Software Development System (SDS), a methodology addressing the problems involved in the development of software for ballistic missile defense systems. These are large real-time, automated systems with a requirement for high reliability. The SDS is a broad approach attacking problems arising in requirements generation, software design, coding, and testing. The approach is highly requirements oriented and has resulted in the formulation of structuring concepts, a requirements statement language, process design language, and support software to be used throughout the development cycle. This methodology represents a significant advance in software technology for the development of software for a class of systems such as BMD. The support software has been implemented and is undergoing evaluation.Keywords
This publication has 11 references indexed in Scilit:
- A Requirements Engineering Methodology for Real-Time Processing RequirementsIEEE Transactions on Software Engineering, 1977
- An Extendable Approach to Computer-Aided Software Requirements EngineeringIEEE Transactions on Software Engineering, 1977
- Structured Analysis for Requirements DefinitionIEEE Transactions on Software Engineering, 1977
- Higher Order Software—A Methodology for Defining SoftwareIEEE Transactions on Software Engineering, 1976
- Managing the development of reliable softwarePublished by Association for Computing Machinery (ACM) ,1975
- Evolution of Business System Analysis TechniquesACM Computing Surveys, 1973
- A survey of languages for stating requirements for computer-based information systemsPublished by Association for Computing Machinery (ACM) ,1972
- Chief programmer team management of production programmingIBM Systems Journal, 1972
- A methodology for the design and optimization of information processing systemsPublished by Association for Computing Machinery (ACM) ,1971
- Information system design computations using generalized matrix algebraBIT Numerical Mathematics, 1965