NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Why Engineers Should Consider Formal MethodsThis paper presents a logical analysis of a typical argument favoring the use of formal methods for software development, and suggests an alternative argument that is simpler and stronger than the typical one.
Document ID
20040105661
Acquisition Source
Langley Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Holloway, C. Michael (NASA Langley Research Center Hampton, VA, United States)
Date Acquired
September 7, 2013
Publication Date
January 1, 1997
Subject Category
Computer Programming And Software
Meeting Information
Meeting: 16th Digital Avionics Systems Conference
Country: Unknown
Start Date: October 1, 1997
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available