Guidelines for the Verification and Validation of Expert System Software and Conventional Software
暂无分享,去创建一个
[1] Jag Sodhi. Software Requirements Analysis and Specification , 1992 .
[2] J. E. Huffman,et al. Partially automated in-line documentation (PAID): design and implementation of a software maintenance tool , 1988, Proceedings. Conference on Software Maintenance, 1988..
[3] Robert Dunn,et al. Software Defect Removal , 1984 .
[4] Sidney L. Smith,et al. Guidelines for Designing User Interface Software , 1986 .
[5] Paul T. Ward,et al. The transformation schema: An extension of the data flow diagram to represent control and timing , 1986, IEEE Transactions on Software Engineering.
[6] G. H. Chisholm,et al. Formal System Specifications : a Case Study of Three Diverse Representations , 1990 .
[7] F. A. Mohammed,et al. A survey of software functional testing methods , 1991, SOEN.
[8] Daniel E. O'Leary,et al. Validating the weights in rule-based expert systems: a statistical approach , 1988 .
[9] John Rushby,et al. An Introduction to Formal Specification and Verification using EHDM , 1991 .
[10] Anneliese Amschler Andrews,et al. Software engineering - methods and management , 1990, Int. CMG Conference.
[11] William E. Howden,et al. Functional Program Testing , 1978, IEEE Transactions on Software Engineering.
[12] Barry W. Boehm,et al. A spiral model of software development and enhancement , 1986, Computer.
[13] Watts S. Humphrey,et al. Managing the software process , 1989, The SEI series in software engineering.
[14] Michael S. Deutsch. Software Verification and Validation: Realistic Project Approaches , 1981 .