Publication
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, USA, Pages 586-590, ISBN 978-1-4799-6277-8, IEEE Press, 2015.
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.