Strategies for Introducing Formal Methods into the ADA Life Cycle

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.