PhDOOS Logo

Supported by AITO.

These pages are currently maintained by Alex Potanin

 

Automated Conversion from a Natural Language Requirements Documentation to an Executable Formal Specification

Beum-Seuk Lee
( South Korea )

University of Alabama at Birmingham
115A Campbell Hall, 1300 Univ. Blvd. Birmingham, AL 35294-1170
tel:
fax:
leebs@cis.uab.edu

Keywords:

knowledge representation language implementation software engineering formal specification natural language processing

Abstract:

Formal Natural Language 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.

The PhD work started: 02/01/2000

HTML3
JAVA

 

Last modified on Mon Aug 15 14:59:24 2005