Strategies for Introducing Formal Methods into the ADA Life Cycle
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: |
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 |