Developing formal correctness properties from natural language requirements

Nikora, Allen P.

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