Automated and Quality-driven Requirements Engineering

Rolf Drechsler, Mathias Soeken, Robert Wille

In: Proceedings of the 2014 IEEE/ACM International Conference on Computer-Aided Design. IEEE/ACM International Conference on Computer-Aided Design (ICCAD-14) November 3-7 San Jose CA United States Seiten 586-590 ISBN 978-1-4799-6277-8 IEEE Press 2015.


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.


Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence