Real-time systems design methodologies: An introduction and a survey
- 1 April 1992
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 18 (1) , 85-99
- https://doi.org/10.1016/0164-1212(92)90047-n
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Seven myths of formal methodsIEEE Software, 1990
- Entity-life modeling and structured analysis in real-time software design—a comparisonCommunications of the ACM, 1989
- A software design method for distributed real-time applicationsJournal of Systems and Software, 1989
- Focusing real-time systems analysis on user operationsIEEE Software, 1988
- Designing large real-time systems with AdaCommunications of the ACM, 1987
- Software development of real-time systemsCommunications of the ACM, 1986
- An overview of JSDIEEE Transactions on Software Engineering, 1986
- Object-oriented developmentIEEE Transactions on Software Engineering, 1986
- A software design method for real-time systemsCommunications of the ACM, 1984
- Ballistic Missile Defense: A Supercomputer ChallengeComputer, 1980