On the Composition of Well-Structured Programs
ACM Computing Surveys (CSUR)
Program development by stepwise refinement
Communications of the ACM
An introduction to the Programmer's Workbench
ICSE '76 Proceedings of the 2nd international conference on Software engineering
| Hi-index | 0.00 |
The Requirements and Development Language (RDL) is a non-procedural language which permits the user to describe all aspects of software development, from requirements specification through maintenance. RDL statements are used, incrementally, to build an integrated data base containing all data pertinent to the project. From this data base, standard reports can be generated to analyze requirements or design specification, to track problem areas, to produce documentation, to furnish up-to-date status information, and to ensure communication and coordination among all phases of the development process. RDL was developed, and is being used, as an internal tool for Sperry Univac Software Development.This paper describes RDL by discussing the constructs available in the language, and by presenting detailed examples from the area of design specification. In addition, some examples are presented which illustrate the flexibility of the integrated data base and the power of the report-generating facilities of the RDL Processor.