Consistency checking of SCR-style requirements specifications
- 19 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Documentation for safety critical softwarePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- MT: A toolset for specifying and analyzing real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An experiment to assess different defect detection methods for software requirements inspectionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Some theorems we should proveLecture Notes in Computer Science, 1994
- Consistency Checks for SCR-Style Requirements SpecificationsPublished by Defense Technical Information Center (DTIC) ,1993
- The Core method for real-time requirementsIEEE Software, 1992
- State-based model checking of event-driven system requirementsPublished by Association for Computing Machinery (ACM) ,1991
- A security model for military message systemsACM Transactions on Computer Systems, 1984
- Abstract requirements specification: A new approach and its applicationIEEE Transactions on Software Engineering, 1983
- Specifying Software Requirements for Complex Systems: New Techniques and Their ApplicationIEEE Transactions on Software Engineering, 1980