“Change Impact Analysis for Rebel Specifications”

Intro - In software development, ideas and abstractions meet to evolve into applications. For large companies this is often a process that does not allow for mistakes that result in a loss of any kind. To be assured that applications are unambigu- ously aligned with their intentions, formal methods can be used. Formal (specification) languages are part of these meth- ods and make it possible to write specifications (of entities) for which its properties can be proven correct. After con- struction, specifications may be utilized for automated code generation, documentation and other software engineering purposes. …