Strategies for Introducing Formal Methods into the ADA Life Cycle

Files

TR Number

TR-88-09

Date

1988

Journal Title

Journal ISSN

Volume Title

Publisher

Department of Computer Science, Virginia Polytechnic Institute & State University

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.

Description

Keywords

Citation