In times of ever-growing system complexity and
thus increasing possibilities for errors, high-quality requirements
are crucial to prevent design errors in later project phases
and to facilitate design verification and validation. To ensure
and improve the consistency, completeness and correctness of
requirements, formal languages have been introduced as an
alternative to using natural language (NL) requirement descriptions.
However, in many cases existing NL requirements must
be taken into account. The formalization of those requirements
by now is a primarily manual task, which therefore is both
cumbersome and error-prone. We introduce the tool DODT
that semi-automatically transforms NL requirements into semiformal
boilerplate requirements. The transformation builds upon
a domain ontology (DO) containing knowledge of the problem
domain and upon natural language processing techniques. The
tool strongly reduced the required manual effort for the transformation.
In addition the quality of the requirements was improved.