JPL Technical Report Server

Developing formal correctness properties from natural language requirements

Show simple item record

dc.contributor.author Nikora, Allen P.
dc.date.accessioned 2006-09-11T21:42:47Z
dc.date.available 2006-09-11T21:42:47Z
dc.date.issued 2006-07-18
dc.identifier.citation NASA OSMA Software Assurance Symposium, Cheat Lake, West Virginia, July 18, 2006. en
dc.identifier.clearanceno 06-2001
dc.identifier.uri http://hdl.handle.net/2014/39748
dc.description.sponsorship NASA/JPL en
dc.format.extent 226776 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US en
dc.publisher Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2006. en
dc.subject requirements engineering en
dc.subject formal specifications en
dc.subject natural language processing en
dc.title Developing formal correctness properties from natural language requirements en
dc.type Presentation en


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account