Automated conversion from a requirements document to an executable formal specification using two-level grammar and contextual natural language processing.

Authors

Beum-Seuk Lee, University of Alabama at Birmingham

Document Type

Dissertation

Date of Award

2003

Recommended Citation

Lee, Beum-Seuk, "Automated conversion from a requirements document to an executable formal specification using two-level grammar and contextual natural language processing." (2003). All ETDs from UAB. 5166.
https://digitalcommons.library.uab.edu/etd-collection/5166