Strategies for Introducing Formal Methods into the ADA Life Cycle

Simple item page
dc.contributor.authorLee, John A. N.en
dc.contributor.authorNyberg, Karlen
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2013-06-19T14:36:29Zen
dc.date.available2013-06-19T14:36:29Zen
dc.date.issued1988en
dc.description.abstractThis 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.en
dc.format.mimetypeapplication/pdfen
dc.identifierhttp://eprints.cs.vt.edu/archive/00000094/en
dc.identifier.sourceurlhttp://eprints.cs.vt.edu/archive/00000094/01/TR-88-09.pdfen
dc.identifier.trnumberTR-88-09en
dc.identifier.urihttp://hdl.handle.net/10919/19605en
dc.language.isoenen
dc.publisherDepartment of Computer Science, Virginia Polytechnic Institute & State Universityen
dc.relation.ispartofHistorical Collection(Till Dec 2001)en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.titleStrategies for Introducing Formal Methods into the ADA Life Cycleen
dc.typeTechnical reporten
dc.type.dcmitypeTexten

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR-88-09.pdf
Size:
7.33 MB
Format:
Adobe Portable Document Format
Download

Collections

Computer Science Technical Reports