NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Systems, methods and apparatus for implementation of formal specifications derived from informal requirementsSystems, methods and apparatus are provided through which in some embodiments an informal specification is translated without human intervention into a formal specification. In some embodiments the formal specification is a process-based specification. In some embodiments, the formal specification is translated into a high-level computer programming language which is further compiled into a set of executable computer instructions.
Document ID
20100028304
Acquisition Source
Headquarters
Document Type
Other - Patent
Authors
Hinchey, Michael G.
Rash, James L.
Erickson, John D.
Gracinin, Denis
Rouff, Christopher A.
Date Acquired
August 24, 2013
Publication Date
June 15, 2010
Subject Category
Computer Programming And Software
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Patent
US-Patent-7,739,671
Patent Application
US-Patent-Appl-SN-11/203,590

Related Records

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