The Design of a Family of Application-Oriented Requirements Languages
Author:
- 1 May 1982
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 15 (5) , 21-28
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Rapid prototyping using executable requirements specifications1982
- A method for expressing the functional requirements of real-time systemsAnnual Review in Automatic Programming, 1980
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Abstract data types and the development of data structuresCommunications of the ACM, 1977
- Gypsy1977
- PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing SystemsIEEE Transactions on Software Engineering, 1977
- PDL1975
- The Vienna Definition LanguageACM Computing Surveys, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- SIMULA: an ALGOL-based simulation languageCommunications of the ACM, 1966