Home | Sitemap | Index | Contact | Legals | KIT
M.Sc. Jiří Vinárek


Tel: +49 721 608 41885

Fax: +49 721 608 45990


Chair Prof. Reussner
Institute for Program Structures and Data Organization
Karlsruhe Institute of Technology
Building 50.34
Am Fasanengarten 5
D-76131 Karlsruhe, Germany

Room 245

Office Hours: Please make an appointment via e-mail

Research Interests

  • Requirements engineering
  • Model driven development


[1] Jiri Vinarek, Petr Hnetynka, Viliam Simko, and Petr Kroha. Recovering traceability links between code and specification through domain model extraction. In Proceedings of 10th International Workshop, EOMAS 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014, volume 191 of LNBIP. [ bib | http | Abstract ]
Requirements traceability is an extremely important aspect of software development and especially of maintenance. Efficient maintaining of traceability links between high-level requirements specification and low-level implementation is hindered by many problems. In this paper, we propose a method for automated recovery of links between parts of the textual requirement specification and the source code of implementation. The described method is based on a method allowing extraction of a prototype domain model from plain text requirements specification. The proposed method is evaluated on two non-trivial examples. The performed experiments show that our method is able to link requirements with source code with the accuracy of F1=58-61%.