This thesis aims to provide a method of deriving natural language specification templates analogical to the requirements specification templates introduced by Pohl and Rupp [2]. An implementation will be given in form of a Java Form prototype. This prototype will help identify an appropriate pattern by displaying the natural language specification template for each pattern. The user can select the template which suits his requirement best and enter his natural language specification into the template. As the requirement is compliant to the template, is it implicitly compliant to the pattern and its variables such as time units, input and output signals can automatically be mapped to the pattern to attain a semiformal notation. Further reseach could use these templates to automatically detect which patterns the natural language specification can comply to in order to reach a higher amount of automization when formalizing requirements with the BTC EmbeddedSpecifier.

[1] V. Gruhn , R. Laue , "Patterns for Timed Property Specifications", Leipzig, Germany, University of Leipzig, 2005.
[2] K. Pohl , C. Rupp , "Requirements Engineering Fundamentals: A Study Guide for the Certified Professional for Requirements Engineering Exam - Foundation Level - IREB Compliant", 1st ed. Santa Barbara, USA , Rocky Nook, 2011.