Early detection of requirements specification errors
作者： P.C. Jorgensen
关键词: Systems analysis 、 Directed graph 、 Class (computer programming) 、 Basis (linear algebra) 、 Programming language 、 Petri net 、 Software requirements specification 、 Computer science 、 Reliability engineering 、 System requirements specification 、 Software quality
摘要: An important class of system errors is defined and initial results with two prototype requirements-analysis tools are described. A requirements-specification technique that highly operational presented; it expresses the sequential behavior a in terms processes equivalent to Petri nets. Subsequent definitions based on directed graphs describe possible ways which individual might interact, thereby providing basis for can detect at end phase, rather than after delivery. >
sci-hub.se 参考文章(3)
R.A. Kemmerer, Testing Formal Specifications to Detect Design Errors IEEE Transactions on Software Engineering. ,vol. SE-11, pp. 32- 43 ,(1985) , 10.1109/TSE.1985.231535
P.C. Jorgensen, J.W. Mills, Petri FYI-an intelligent user-extensible system specification tool Seventh Annual International Phoenix Conference on Computers an Communications. 1988 Conference Proceedings. pp. 208- 212 ,(1988) , 10.1109/PCCC.1988.10072
N.G. Leveson, J.L. Stolzy, Safety Analysis Using Petri Nets IEEE Transactions on Software Engineering. ,vol. 13, pp. 386- 397 ,(1987) , 10.1109/TSE.1987.233170