Der Band fasst die Vorträge der ABZ‑Konferenz 2012 in Pisa zusammen und bietet einen tiefen Blick auf formale Spezifikationsmethoden wie ASM, Alloy, B, VDM und Z sowie deren Einsatz in komplexen Softwaresystemen. Er bietet praxisnahe Beispiele, Diskussionsbeiträge und einen Überblick über aktuelle Herausforderungen in der formalen Modellierung und zeigt Wege zur Integration dieser Techniken in moderne Entwicklungsprozesse.