| dc.contributor.author | Montazeri, Seyed Morteza | |
| dc.date.accessioned | 2010-09-24T08:49:49Z | |
| dc.date.available | 2010-09-24T08:49:49Z | |
| dc.date.issued | 2010-09-24 | |
| dc.identifier.uri | http://hdl.handle.net/2077/23468 | |
| dc.description.abstract | 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. | sv |
| dc.language.iso | eng | sv |
| dc.relation.ispartofseries | Report/Department of Applied Information Technology | sv |
| dc.relation.ispartofseries | 2010:016 | sv |
| dc.subject | Grammatical Framework | sv |
| dc.subject | Requirements | sv |
| dc.subject | Contract | sv |
| dc.subject | Conflict analysis | sv |
| dc.subject | Natural language | sv |
| dc.title | Encoding of the contract language CL into the Grammatical Framework (GF) | sv |
| dc.type | Text | eng |
| dc.setspec.uppsok | Technology | |
| dc.type.uppsok | C | |
| dc.contributor.department | IT-universitetet i Göteborg/Tillämpad informationsteknologi | swe |
| dc.contributor.department | IT University of Gothenburg /Applied Information Technology | eng |
| dc.type.degree | Kandidatuppsats | swe |
| dc.type.degree | Bachelor thesis | eng |
