A method for expressing the functional requirements of real-time systems
- 31 December 1980
- journal article
- Published by Elsevier in Annual Review in Automatic Programming
- Vol. 10, 111-120
- https://doi.org/10.1016/0066-4138(82)90015-5
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Perspectives in Software EngineeringACM Computing Surveys, 1978
- A Requirements Engineering Methodology for Real-Time Processing RequirementsIEEE Transactions on Software Engineering, 1977
- A technique for software module specification with examplesCommunications of the ACM, 1972