Towards Automatic Modelling of Requirements

Main Article Content

Farid Meziane
Sunil Vadera

Abstract

The first phases of the FORSEN system that helps the analyst to use an informal specification as the basis of producing a formal specification and concerns the modelisation of the requirements into entity relationship models (ERM) is described. The modelisation is done from the logical form expressions obtained from the analysis of the natural language text. The ERM models are then used as a basis for the production of formal specification in the Vienna Development Method (VDM).

Downloads

Download data is not yet available.

Article Details

How to Cite
Meziane, F., & Vadera, S. (2017). Towards Automatic Modelling of Requirements. Malaysian Journal of Computer Science, 9(2), 1–13. Retrieved from https://jupidi.um.edu.my/index.php/MJCS/article/view/2993
Section
Articles