---
_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: <i>2011 IEEE Fourth International Conference
    on Software Testing, Verification and Validation Workshops</i>. ; 2011. doi:<a
    href="https://doi.org/10.1109/icstw.2011.17">10.1109/icstw.2011.17</a>'
  apa: Holtmann, J., Meyer, J., &#38; von Detten, M. (2011). Automatic Validation
    and Correction of Formalized, Textual Requirements. <i>2011 IEEE Fourth International
    Conference on Software Testing, Verification and Validation Workshops</i>. <a
    href="https://doi.org/10.1109/icstw.2011.17">https://doi.org/10.1109/icstw.2011.17</a>
  bibtex: '@inproceedings{Holtmann_Meyer_von Detten_2011, title={Automatic Validation
    and Correction of Formalized, Textual Requirements}, DOI={<a href="https://doi.org/10.1109/icstw.2011.17">10.1109/icstw.2011.17</a>},
    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 <i>2011 IEEE Fourth International
    Conference on Software Testing, Verification and Validation Workshops</i>, 2011.
    <a href="https://doi.org/10.1109/icstw.2011.17">https://doi.org/10.1109/icstw.2011.17</a>.
  ieee: 'J. Holtmann, J. Meyer, and M. von Detten, “Automatic Validation and Correction
    of Formalized, Textual Requirements,” 2011, doi: <a href="https://doi.org/10.1109/icstw.2011.17">10.1109/icstw.2011.17</a>.'
  mla: Holtmann, Jörg, et al. “Automatic Validation and Correction of Formalized,
    Textual Requirements.” <i>2011 IEEE Fourth International Conference on Software
    Testing, Verification and Validation Workshops</i>, 2011, doi:<a href="https://doi.org/10.1109/icstw.2011.17">10.1109/icstw.2011.17</a>.
  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'
...