Formal methods

Within software reengineering, we will see a growing interest in formal methods in the future, both in semantics (quality) and in metrics (quantity). As software systems become more and more complex, their change management needs to evolve from manual and ad hoc methods to a rigorous discipline. To achieve this, both sides of software engineering, notations and processes, need a clear and integrated semantics on which solid tool support can be built. To satisfy this demand, research on formal methods should take the special requirements of software maintenance and reengineering more into account.