Development of rigorous methods for software engineering spans from their theoretical and methodological foundations to practical applications. In the past years, we have seen several formal engineering methods that have provided a grasp on the notion of mathematical rigorousness and


Development of rigorous methods for software engineering spans from their theoretical and methodological foundations to practical applications. In the past years, we have seen several formal engineering methods that have provided a grasp on the notion of mathematical rigorousness and have also provided (up to some extent) industrially viable tools. While some methods provide user-friendly modeling notations, other come with better suited tool support.

Goals
It is, thus, of paramount importance that various techniques and tools such as simulators, model checkers and theorem provers that have been developed for one individual state-based formal method must interact (preferably harmoniously) with other methods as well.

Fördergeber SCCH Software Competence Center Hagenberg GmbH

Duration
2016 – 2017

Contact Gustav Pomberger

IntegR – Integration of Rigorous Methods & Tools