Experiences in applying formal methods to the analysis of software and system requirements
暂无分享,去创建一个
Mandayam K. Srivas | Muffy Calder | George Cleland | Steven P. Miller | David Hamilton | Mark G. Staskauskas | Carron Kirkwood | Donald MacKenzie | Richard Covington | John Kelly | Alan R. Flora-Holmquist | M. G. Staskauskas | M. Srivas | D. MacKenzie | J. Kelly | G. Cleland | R. Covington | C. Kirkwood | M. Calder | David Hamilton
[1] Victor R. Basili,et al. Software errors and complexity: an empirical investigation , 1993 .
[2] John C. Kelly,et al. An analysis of defect densities found during software inspections , 1992, J. Syst. Softw..
[3] Barry W. Boehm,et al. Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.
[4] Victor R. Basili,et al. Software errors and complexity: an empirical investigation0 , 1984, CACM.
[5] Robyn R. Lutz,et al. Analyzing software requirements errors in safety-critical, embedded systems , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.
[6] R.W. Butler,et al. Design for validation , 1992, IEEE Aerospace and Electronic Systems Magazine.