References
- Software Engineering Journal v.4 no.6 Specifications are not (necessarily) executable I. J. Hayes;C. B. Jones
- IEEE Transactions on Software Engineering v.16 no.4 STATEMATE: A Working Environment for the Development of Complex Reactive Systems D. Harel;H. Lachover;A. Naamad;A. Pnueil;M. Politi;R. Sherman;A. Shtul-Trauring;M. Trakhtenbrot
- in Proc. of Real-Time Systems Symposium Compiling Modechart specifications C. Puchol;A. K. Mok;D. A. Stuart
- in Proc. of the IEEE Int. Symp. on Requirements Engineering Generating Code from Hierarchical State-Based Requirements M. P. E. Heimdahl;D. J. Keenan
- in 14th ACM Symp. on Principles of Programming Languages LUSTRE, a declarative language for programming synchronous systems P. Caspi;N. Halbwachs;D. Pilaud;J. A. Plaice
- IEEE Transactions on Software Engineering, Special Issue on the Specification and Analysis of Real-Time Systems Programming and verifying critical systems by means of the synchronous data-flow programming language LUSTRE N. Halbwachs;F. Lagnier;C. Ratel
- Software requirements for the A-7E aircraft K. Heninger;D. Parnas;J. Shore;J. Kallander
- IEEE Transactions on Software Engineering v.6 no.1 Specifying Software Requirements for Complex Systems: New Techniques and Their Applications K. Heninger
- IEEE Transactions on Software Engineering v.9 no.5 Abstract requirements specifications: A new approach and its application C. Heitmeyer;J. McLean
- in Proc. RE'93 Requirements Symposium Documentation of requirements for computer systems A. van Schouwen;D. Parnas;J. Madey
- in Proceedings of the 10th Annual Conference on Computer Assurance SCR*: A Toolset of for Specifying and Analyzing Requirements C. Heitmeyer;A. Bull;C. Gasarch;B. G. Labaw
- ACM Transactions of Software Engineering and Methodology v.5 no.3 Automated Consistency Checking of Requirements Specifications C.L. Heitmeyer;R.D. Jeffords;B.G. Labaw
- Model Checking Complete Requirements Specifications Using Abstraciton R. Bharadwaj;C. Heitmeyer
- IEEE Transactions on Software Engineering v.20 no.12 Modechart : A Specification language for real-time systems F. Jahanian;A. K. Mok
- IEEE Transactions on Software Engineering v.30 no.9 Requirements Specification for Process-Control Systems N.G. Leveson;M.P.E. Heimdahl;H. Hildreth;J.D. Reese
- Proceedings of the IEEE v.79 no.9 The Synchronous approach to reactive and real-time systems A. Benveniste;G. Berrry
- distributed in LUSTRE/LESAR distribution POC Pascal Raymondk
- in Proceedings of the 1996 International Symposium on Software Testing and Analysis A Logic-Model Semantic for SCR Software Requirements J.M. Atlee;M.A. Buckley
- Symbolic Model Checking K. L. McMillan
- 월성 2, 3, 4호기 원자로 정지계통의 필수 소프트웨어 검증 (최종보고서)
- in Hybrid Systems Ⅲ, Lecture Notes in Computer Science v.1068 Requirements Specifications for Hybrid Systems C. Heitmeyer