1 |
J. Yoo, T. Kim, S. Cha, J. Lee, and H. S. Son, 'A Formal Software Requirements Specification Method for Digital Nuclear Plants Protection Systems,' Journal of Systems and Software, accepted
DOI
ScienceOn
|
2 |
Wolsong NPP 2/3/4, Software requirements specification for shutdown system 2 POC, 86-68350-SRS-001, June 1993
|
3 |
D. Parnas and J. Madey, 'Functional documentation for computer systems engineering,' CRL 237, Telecommunications Research Institute of Ontariot(TRIO), McMaster Univ., Hamilton, Ontario, 1991
|
4 |
Nancy G. Leveson, SAFEWARE, System safety and Computers, Addison Wesley, 1995
|
5 |
Doron A. Peled, SOFTWARE RELIABILITY METHODS, Springer, 2001
|
6 |
Edmund M. Clarke and Jeannette M. Wing, 'Formal Methods: State of the Art and Future Directions,' ACM Computing Survey, 1996
|
7 |
E. A. Emerson, Edmund M. Clarke and A. P. Sistla, 'Automatic verification of finite-state concurrent system using temporal logic specification,' ACM Trans. Programming Languages and Systems, 8(2):244-263, 1986
DOI
ScienceOn
|
8 |
D. vam Dalem, Logic and Structure, Springer-Verlag, 3 edition, 1994
|
9 |
U.S. NRC, 'Digital Instrumentation and Control Systems in Nuclear Power Plants: safety and reliability issues,' National Academy Press, 1997
|
10 |
KNICS, Korea nuclear instrumentation and control system research and development center, http://www.knics.re.kr
|
11 |
UK MoD, The procurement of safety critical software in defense equipment, Define Standard 00-55, 1997
|
12 |
J. M. Apivey, Introducing Z: a Specification Language and its Formal Semantics, Cambridge University Press, 1988
|
13 |
C. B. Jones, Systematic Software Development Using VDM, Prentice-Hall International, 1986
|
14 |
D. L. Parnas and J. Madey, 'Functional documentation for computer systems,' Science of Computer Porgrarnming, 25(1):41-61, 1995
DOI
ScienceOn
|
15 |
J. Gutting and J. Horning, Larch: Languages and Tools for Formal Specification, Springer-Verlag, 1993
|
16 |
K. L. Heninger, 'Specifying software requirements for complex systems: New techniques and their application,' IEEE Trans. Software Engineering, SE-6(1):2-13, 1980
DOI
|
17 |
D. Parnas, A. J. Schouwen Van, and J. Maday, 'Documentation of requirements for computer systems,' In RE'93: IEEE International Symposium on Requirements Engineering, 198-207, 1993
DOI
|
18 |
K. H. Britton, R. A. Parker, D. L. Pamas, et, al., 'Software requirements for the A-7E aircraft,' NRL 9194, Naval Research Laboratory, Washington, D.C., 1992
|
19 |
Zphar Manna, Thomas A. Hensinger, and Amir Pnueli, 'Timed transition systems,' In REX Workshop, 226-251, 1991
|