Encoding of the contract language CL into the Grammatical Framework (GF)
Sammanfattning
Consistent requirement adoption is important in almost all of
the software engineering projects. The demand of conflict
free requirements, requires a way to manage requirements
in more reliable way which means to detect conflict formally.
In this paper, we describe the foundation and implementation
of a tool that enables the requirements written in natural language
(English) to be represented in a formal language (CL).
This in effect enhances the possibility to apply CLAN (a tool
which analyzes requirements or contracts written in CL) for
analysis. We have also applied our approach to a case study
where the findings show correct detection of conflicts in requirements.
Examinationsnivå
Kandidatuppsats
Bachelor thesis
Fil(er)
Datum
2010-09-24Författare
Montazeri, Seyed Morteza
Nyckelord
Grammatical Framework
Requirements
Contract
Conflict analysis
Natural language
Serie/rapportnr.
Report/Department of Applied Information Technology
2010:016
Språk
eng