Automated and quality-driven requirements engineering

Rolf Drechsler; Mathias Soeken; Robert Wille

doi:10.1109/ICCAD.2014.7001410

Automated and quality-driven requirements engineering

Rolf Drechsler
, Mathias Soeken
, Robert Wille

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

Abstract

This tutorial paper summarizes selective research results from the field of automated requirement engineering. Automatization is achieved by employing natural language processing techniques. We show algorithms that work directly on the natural language text and algorithms that translate natural language text to formal models. To ensure quality, we further illustrate verification algorithms that can proof correctness of the extracted formal models.

Original language	English
Title of host publication	2014 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014 - Digest of Technical Papers
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	586-590
Number of pages	5
Edition	January
ISBN (Electronic)	9781479962785
DOIs	https://doi.org/10.1109/ICCAD.2014.7001410
State	Published - 5 Jan 2015
Externally published	Yes
Event	2014 33rd IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014 - San Jose, United States Duration: 2 Nov 2014 → 6 Nov 2014

Publication series

Name	IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
Number	January
Volume	2015-January
ISSN (Print)	1092-3152

Conference

Conference	2014 33rd IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014
Country/Territory	United States
City	San Jose
Period	2/11/14 → 6/11/14

Access to Document

10.1109/ICCAD.2014.7001410

Cite this

Drechsler, R., Soeken, M., & Wille, R. (2015). Automated and quality-driven requirements engineering. In 2014 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014 - Digest of Technical Papers (January ed., pp. 586-590). Article 7001410 (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; Vol. 2015-January, No. January). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICCAD.2014.7001410

Drechsler, Rolf ; Soeken, Mathias ; Wille, Robert. / Automated and quality-driven requirements engineering. 2014 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014 - Digest of Technical Papers. January. ed. Institute of Electrical and Electronics Engineers Inc., 2015. pp. 586-590 (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; January).

@inproceedings{ce2488a6458249c3bfaec602846d88c9,

title = "Automated and quality-driven requirements engineering",

abstract = "This tutorial paper summarizes selective research results from the field of automated requirement engineering. Automatization is achieved by employing natural language processing techniques. We show algorithms that work directly on the natural language text and algorithms that translate natural language text to formal models. To ensure quality, we further illustrate verification algorithms that can proof correctness of the extracted formal models.",

author = "Rolf Drechsler and Mathias Soeken and Robert Wille",

note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 2014 33rd IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014 ; Conference date: 02-11-2014 Through 06-11-2014",

year = "2015",

month = jan,

day = "5",

doi = "10.1109/ICCAD.2014.7001410",

language = "English",

series = "IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "January",

pages = "586--590",

booktitle = "2014 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014 - Digest of Technical Papers",

edition = "January",

}

Drechsler, R, Soeken, M & Wille, R 2015, Automated and quality-driven requirements engineering. in 2014 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014 - Digest of Technical Papers. January edn, 7001410, IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD, no. January, vol. 2015-January, Institute of Electrical and Electronics Engineers Inc., pp. 586-590, 2014 33rd IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014, San Jose, United States, 2/11/14. https://doi.org/10.1109/ICCAD.2014.7001410

Automated and quality-driven requirements engineering. / Drechsler, Rolf; Soeken, Mathias; Wille, Robert.
2014 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014 - Digest of Technical Papers. January. ed. Institute of Electrical and Electronics Engineers Inc., 2015. p. 586-590 7001410 (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; Vol. 2015-January, No. January).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Automated and quality-driven requirements engineering

AU - Drechsler, Rolf

AU - Soeken, Mathias

AU - Wille, Robert

PY - 2015/1/5

Y1 - 2015/1/5

N2 - This tutorial paper summarizes selective research results from the field of automated requirement engineering. Automatization is achieved by employing natural language processing techniques. We show algorithms that work directly on the natural language text and algorithms that translate natural language text to formal models. To ensure quality, we further illustrate verification algorithms that can proof correctness of the extracted formal models.

AB - This tutorial paper summarizes selective research results from the field of automated requirement engineering. Automatization is achieved by employing natural language processing techniques. We show algorithms that work directly on the natural language text and algorithms that translate natural language text to formal models. To ensure quality, we further illustrate verification algorithms that can proof correctness of the extracted formal models.

UR - https://www.scopus.com/pages/publications/84936871277

U2 - 10.1109/ICCAD.2014.7001410

DO - 10.1109/ICCAD.2014.7001410

M3 - Conference contribution

AN - SCOPUS:84936871277

T3 - IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD

SP - 586

EP - 590

BT - 2014 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014 - Digest of Technical Papers

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2014 33rd IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014

Y2 - 2 November 2014 through 6 November 2014

ER -

Drechsler R, Soeken M, Wille R. Automated and quality-driven requirements engineering. In 2014 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014 - Digest of Technical Papers. January ed. Institute of Electrical and Electronics Engineers Inc. 2015. p. 586-590. 7001410. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; January). doi: 10.1109/ICCAD.2014.7001410

Automated and quality-driven requirements engineering

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this