UTL: A Unified Requirements Templates Language for Safety Critical Systems

This repository stores the data of our evaluation of the UTL language. The repository includes: The requirement files of Rupp's template : The files generated by JFIO while specifying Rupp's template using UTL and JFIO. The requirement files of EARS templates : The files generated by JFIO while specifying EARS templates using UTL and JFIO. The material of the user study : The presentations, pre-study form, and post-study forms used in our user study.