A logic-model semantics for SCR software requirements
暂无分享,去创建一个
[1] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[2] Kathryn L. Heninger. Specifying Software Requirements for Complex Systems: New Techniques and Their Application , 2001, IEEE Transactions on Software Engineering.
[3] A. P. Sistla,et al. Automatic verification of finite-state concurrent systems using temporal logic specifications , 1986, TOPL.
[4] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[5] M. Browne. Automatic verification of finite state machines using temporal logic , 1989 .
[6] David Lorge Parnas,et al. Software Requirements for the A-7E Aircraft. , 1992 .
[7] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[8] Joanne M. Atlee. Automated analysis of software requirements , 1992 .
[9] Kenneth L. McMillan,et al. Symbolic model checking: an approach to the state explosion problem , 1992 .
[10] Joanne M. Atlee,et al. State-Based Model Checking of Event-Driven System Requirements , 1993, IEEE Trans. Software Eng..
[11] Nancy G. Leveson,et al. Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..
[12] Constance L. Heitmeyer,et al. Consistency checking of SCR-style requirements specifications , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).