Modechart: a specification language for real-time systems
- 1 January 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 20 (12) , 933-947
- https://doi.org/10.1109/32.368134
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Semantics of Modechart in real time logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Rapidly prototyping real-time systemsIEEE Software, 1988
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- A distributed alternative to finite-state-machine specificationsACM Transactions on Programming Languages and Systems, 1985
- Specifying Software Requirements for Complex Systems: New Techniques and Their ApplicationIEEE Transactions on Software Engineering, 1980
- A Requirements Engineering Methodology for Real-Time Processing RequirementsIEEE Transactions on Software Engineering, 1977
- The Software Development SystemIEEE Transactions on Software Engineering, 1977