Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)

From the Publisher: Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical and other applications, it is of paramount importance that systems controlled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements. In other words: correctness of the system, of its software and hardware is crucial.. "On the occasion of Hans Langmaack's retirement from his professorship and in order to honor his fundamental contribution to the field, the volume editors invited 17 internationally well known researchers to evaluate the state of the art in the area of correct system design.