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.

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.

IntegR – Integration of Rigorous Methods & Tools