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