 Name |
Naturally Formal Specification System (NFSS) |
|
| Description |
Naturally Formal Specification System is an automated software specification system developed to translate
a requirements document written in natural language (English)
into a formal specification language (VDM++ - Object-oriented extension of the Vienna Development Method)
using Contextual Natural Language Processing and Two-Level Grammar.
Contextual Natural Language Processing is used to overcome the ambiguity problem in natural language and
Two-Level Grammar is used to construct a bridge between the informal description of the requirments in English and
formal specification of VDM++. The main contribution of the project is promotion of rapid protoyping and reuse of
requirements documents.
|
|
| Keywords |
Automated Software Specification, Formal Specification,
Contextual Natural Language Processing, Two-Level Grammar,
Software Requirements Engineering
|
|
| Developers |
Barrett R. Bryant and
Beum-Seuk Lee
|
|
| Acknowledgements |
This research is supported by, or in part by, the U. S. Army Research Laboratory, the U. S. Army Research Office,
and the U. S. Office of Naval Research.
We also would like to thank IFAD for providing an academic license to the IFAD VDM Toolbox in order to conduct this research.
|
|
| Links |
Publications,
System Structure Image, and
Uniframe Project
|
|
| |
School of Natural Sciences & Mathematics