PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- PLP: an automated tool for the processing of requirementsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- STATEMATE and cruise control: a case studyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Real-time systems design methodologies: An introduction and a surveyJournal of Systems and Software, 1992
- Specifying real-time properties with metric temporal logicReal-Time Systems, 1990
- On visual formalismsCommunications of the ACM, 1988