The Design of a Family of Application-Oriented Requirements Languages
- 1 May 1982
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 15 (5) , 21-28
- https://doi.org/10.1109/mc.1982.1654021
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Rapid prototyping using executable requirements specificationsPublished by Association for Computing Machinery (ACM) ,1982
- 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
- GypsyPublished by Association for Computing Machinery (ACM) ,1977
- PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing SystemsIEEE Transactions on Software Engineering, 1977
- PDLPublished by Association for Computing Machinery (ACM) ,1975
- 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