Skip to the content

Towards automatic modelling of requirements

Meziane, F and Vadera, S 1996, 'Towards automatic modelling of requirements' , Malaysian Journal of Computer Science, 9 (2) , pp. 1-13.

Full text not available from this repository. (Request a copy)

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).

Item Type: Article
Uncontrolled Keywords: Requirements Engineering, Requirements Modelisation, Software Engineering, Natural Language Processing
Themes: Subjects / Themes > Q Science > QA Mathematics > QA075 Electronic computers. Computer science
Subjects outside of the University Themes
Schools: Colleges and Schools > College of Science & Technology
Colleges and Schools > College of Science & Technology > School of Computing, Science and Engineering
Colleges and Schools > College of Science & Technology > School of Computing, Science and Engineering > Data Mining and Pattern Recognition Research Centre
Journal or Publication Title: Malaysian Journal of Computer Science
Publisher: University of Malaya
Refereed: Yes
ISSN: 01279084
Depositing User: Prof Farid Meziane
Date Deposited: 16 Jan 2009 11:27
Last Modified: 20 Aug 2013 16:55
URI: http://usir.salford.ac.uk/id/eprint/1675

Actions (login required)

Edit record (repository staff only)

No Altmetrics available