Integrating Formal Methods into the Development Process

IEEE Software

Volumn 7, Issue 5, 1990, Pages 37-50

  Kemmerer, Richard A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - PROGRAMMING THEORY; SYSTEMS ANALYSIS;

FORMAL SPECIFICATION METHODS; SOFTWARE DEVELOPMENT;

COMPUTER SOFTWARE;

EID: 0025492027     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.57891     Document Type: Article

References (7)

1. J. Scheid and S. Holtsberg, “Inajo Specification Language Reference Manual,” tech. report, Formal Methods Group, Unisys, Culver City, Calif., May 1989.
2. W.R. Bevier, W.A. Hunt, Jr., and W.D. Young, “Toward Verified Execution Environments,” Proc. 1987 IEEE Symp. Security and Privacy, CS Press, Los Alamitos, Calif., 1987, pp. 106–115.
3. CA.R. Hoare, “Proof of Correctness of Data Representations,” Acta Informatica, No. 4, 1972, pp. 271–281.
4. J. Guttag, E. Horowitz, and D. Musser, “Abstract Data Types and Software Validation,” Comm. ACM, Dec. 1978, pp. 1,048–1,064.
5. T.A. Berson, RJ. Feiertag, and R.K. Bauer, “Processor-per-Domain Guard Architecture,” Proc. 1983 IEEE Symp. Security and Privacy, CS Press, Los Alamitos, Calif., 1983, p. 120.
6. D.V. Schorre et al., “The Interactive Theorem Prover (ITP) Reference Manual,” tech. report, Formal Methods Group, Unisys, Culver City, Calif., Nov. 1988.
7. J. Guttag and J.J. Horning, “Formal Specifications as a Design Tool,” Proc. Seventh Ann. ACM Symp. Princ. Programming Languages, ACM, New York, 1980, pp. 251–261.