A logic-model semantics for SCR software requirements
- 1 May 1996
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 21 (3) , 280-292
- https://doi.org/10.1145/229000.226326
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Requirements specification for process-control systemsIEEE Transactions on Software Engineering, 1994
- State-based model checking of event-driven system requirementsIEEE Transactions on Software Engineering, 1993
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Specifying Software Requirements for Complex Systems: New Techniques and Their ApplicationIEEE Transactions on Software Engineering, 1980