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 |