Computer Science Technical Reports
CS at VT

Strategies for Introducing Formal Methods into the ADA Life Cycle

Lee, John A. N. and Nyberg, Karl (1988) Strategies for Introducing Formal Methods into the ADA Life Cycle. Technical Report TR-88-09, Computer Science, Virginia Polytechnic Institute and State University.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
TR-88-09.pdf (7683460)

Abstract

This is the final report of a short study of the applicability of formal definition techniques to program development activities with specific emphasis on using the programming language Ada. The portion of the study here encompasses three elements: - A review of the various formal defition techniques; - A study of the existing and planned tools in programming development environments; - An examination of life cycle methodologies with the objective of inserting formalized techniques.

Item Type:Departmental Technical Report
Subjects:Computer Science > Historical Collection(Till Dec 2001)
ID Code:94
Deposited By:User autouser
Deposited On:12 December 2005