A Formal Specifications Maturity: Model

Communications of the ACM

Volumn 40, Issue 12, 1997, Pages 95-103

  Fraser, Martin D ^a   Vaishnavi, Vijay K ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; FAULT TOLERANT COMPUTER SYSTEMS; FORMAL LOGIC; MATHEMATICAL MODELS;

FORMAL SPECIFICATIONS MATURITY MODELS; SOFTWARE QUALITY;

SOFTWARE ENGINEERING;

EID: 0031351717     PISSN: 00010782     EISSN: None     Source Type: Journal    
DOI: 10.1145/265563.265577     Document Type: Article

References (12)

1. Bowen, J.P. Formal methods in safety-critical standards. In Proceedings of Software Engineering Standards Symposium, (Brighton, U.K., 1993), pp. 168-177.
2. Bowen, J.P., and Hinchey, M.G. Ten commandments of formal methods. IEEE Computer 28, 4 (Apr. 1995), 56-63.
3. Bowen, J.P., and Stavridou, V. The industrial take-up of formal methods in safety-critical and other areas: a perspective. In J.C.P. Woodcock and P.G. Larsen, Eds., Proceedings of the First International Symposium of Formal Methods Europe (FME '93), (Odense, Denmark, Apr. 1993), Springer-Verlag, Lecture Notes in Computer Science 670, 1993, 183-195.
4. Fraser, M.D., Kumar, K., and Vaishnavi, V.K. Strategies for incorporating formal specifications in software development. Commun. ACM 37, 10 (Oct. 1994), 74-86.
5. Fraser, M.D., and Vaishnavi, V.K. Ensuring software safety and reliability with strategies for incorporating formal specifications. In D.S. Herrmann, Ed., Safety and Reliability for Medical Device Software. Health Industry Manufacturers Association (HIMA) Report No. 95-8, 1995, Tab 7.
6. Gerhart, S., Craigen, D., and Ralston, T. Experience with formal methods in critical systems. IEEE Software (Jan. 1994a), 21-28.
7. Gerhart, S., Craigen, D., and Ralston, T. Regulatory case studies. IEEE Software (Jan. 1994b), 30-39.
8. Hall, A. Seven myths of formal methods. IEEE Software (Sept. 1990), 11-19.
9. Leveson, N.G. Software safety in embedded computer systems. Commun. ACM 34. 2 (Feb. 1991), 34-46.
10. Paulk, M.C., Curtis, B., and Chrissis, M.B. Capability Maturity Model, Version 1.1. IEEE Software (July 1993), 18-27.
11. Pressman, R.S. Software Engineering. 4th ed. McGraw-Hill, 1997.
12. Saiedian, H., and Kuzara, R. SEI Capability Maturity Model's impact on contractors. IEEE Computer (Jan. 1995), 16-26.