Essays about: "Jorrit Olthuis"

Found 1 essay containing the words Jorrit Olthuis.

  1. 1. Verification of Formal Requirements through Tracing

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Jorrit Olthuis; [2020]
    Keywords : ;

    Abstract : Software development in the railway application is governed by strict standards which aim to ensure safety. It is for example highly recommended to use formal methods when specifying requirements. Moreover, it is mandatory to have certain roles be fulfilled by different people. A common technique is developing software tests for the requirements. READ MORE