---
_id: '20958'
abstract:
- lang: eng
text: Nowadays requirements are mostly specified in unrestricted natural language
so that each stakeholder understands them. To ensure high quality and to avoid
misunderstandings, the requirements have to be validated. Because of the ambiguity
of natural language and the resulting absence of an automatic mechanism, this
has to be done manually. Such manual validation techniques are timeconsuming,
error-prone, and repetitive because hundreds or thousands of requirements must
be checked. With an automatic validation the requirements engineering process
can be faster and can produce requirements of higher quality. To realize an automatism,
we propose a controlled natural language (CNL) for the documentation of requirements.
On basis of the CNL, a concept for an automatic requirements validation is developed
for the identification of inconsistencies and incomplete requirements. Additionally,
automated correction operations for such defective requirements are presented.
The approach improves the quality of the requirements and therefore the quality
of the whole development process.
author:
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
citation:
ama: 'Holtmann J, Meyer J, von Detten M. Automatic Validation and Correction of
Formalized, Textual Requirements. In: 2011 IEEE Fourth International Conference
on Software Testing, Verification and Validation Workshops. ; 2011. doi:10.1109/icstw.2011.17'
apa: Holtmann, J., Meyer, J., & von Detten, M. (2011). Automatic Validation
and Correction of Formalized, Textual Requirements. 2011 IEEE Fourth International
Conference on Software Testing, Verification and Validation Workshops. https://doi.org/10.1109/icstw.2011.17
bibtex: '@inproceedings{Holtmann_Meyer_von Detten_2011, title={Automatic Validation
and Correction of Formalized, Textual Requirements}, DOI={10.1109/icstw.2011.17},
booktitle={2011 IEEE Fourth International Conference on Software Testing, Verification
and Validation Workshops}, author={Holtmann, Jörg and Meyer, Jan and von Detten,
Markus}, year={2011} }'
chicago: Holtmann, Jörg, Jan Meyer, and Markus von Detten. “Automatic Validation
and Correction of Formalized, Textual Requirements.” In 2011 IEEE Fourth International
Conference on Software Testing, Verification and Validation Workshops, 2011.
https://doi.org/10.1109/icstw.2011.17.
ieee: 'J. Holtmann, J. Meyer, and M. von Detten, “Automatic Validation and Correction
of Formalized, Textual Requirements,” 2011, doi: 10.1109/icstw.2011.17.'
mla: Holtmann, Jörg, et al. “Automatic Validation and Correction of Formalized,
Textual Requirements.” 2011 IEEE Fourth International Conference on Software
Testing, Verification and Validation Workshops, 2011, doi:10.1109/icstw.2011.17.
short: 'J. Holtmann, J. Meyer, M. von Detten, in: 2011 IEEE Fourth International
Conference on Software Testing, Verification and Validation Workshops, 2011.'
date_created: 2021-01-13T10:51:15Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
doi: 10.1109/icstw.2011.17
language:
- iso: eng
publication: 2011 IEEE Fourth International Conference on Software Testing, Verification
and Validation Workshops
publication_identifier:
isbn:
- '9781457700194'
publication_status: published
status: public
title: Automatic Validation and Correction of Formalized, Textual Requirements
type: conference
user_id: '5786'
year: '2011'
...