Consistency checking of SCR-style requirements specifications

This publication has 13 references indexed in Scilit:

• Documentation for safety critical software
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• MT: A toolset for specifying and analyzing real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An experiment to assess different defect detection methods for software requirements inspections
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Some theorems we should prove
  Published by Springer Nature ,1994
• Consistency Checks for SCR-Style Requirements Specifications
  Published by Defense Technical Information Center (DTIC) ,1993
• The Core method for real-time requirements
  IEEE Software, 1992
• State-based model checking of event-driven system requirements
  Published by Association for Computing Machinery (ACM) ,1991
• A security model for military message systems
  ACM Transactions on Computer Systems, 1984
• Abstract requirements specification: A new approach and its application
  IEEE Transactions on Software Engineering, 1983
• Specifying Software Requirements for Complex Systems: New Techniques and Their Application
  IEEE Transactions on Software Engineering, 1980