Abstract State Machines: A Method for High-Level System by Egon Börger,Robert Stärk

Quelli che s'innamoran di pratica senza scienzia sono come 'l nocchieri ch'entra in navilio sanza timone o bussola, 1 che mai ha certezza dove si vada. - Leonardo da Vinci Ich habe oft bemerkt, dass wir uns durch
allzuvieles Symbolisieren 2 die Sprache fu ¨r die Wirklichkeit untu ¨chtig machen. - Christian Morgenstern this is often where to specific our thank you. to start with we thank all those that through the years have actively contributed
to shaping the radical software program layout and research approach defined during this booklet. they're too a number of to be pointed out right here. all of them seem not directly or the opposite at the following pages, particularly within the bibliographical
and ancient Chap. nine that are learn independently of the ebook. We then thank those that have helped with exact severe reviews at the draft chapters to form the way in which our arguments are provided during this publication: M. B¨
orger (Diron Mu ¨nster), I. Craggs (IBMHursley),G. DelCastillo(SiemensMunc ¨ hen),U. Gl¨ asser(SimonFraser college, Vancouver,Canada),J. Huggins(Kettering University,Michigan, USA), B. Koblinger (IBM Heidelberg), P. Pa
¨ppinghaus (Siemens Munc ¨ hen), A. Preller (Universit´ e de Montpellier, France), M. -L. Potet (INP de Gre- ble, France),W. Reisig (Humboldt-Universit¨ at zu Berlin, Germany),H. Rust (Universit¨ at Cottbus, Germany), G.
Schellhorn (Universit¨ at Augsburg, G- many), B. Thalheim (Universit¨ at Cottbus, Germany) and a dozen scholar generationsat Universita `di Pisa. We thankM. Barmet(ETH Zur ¨ ich)for her options of the workouts in Chap. 8.
We additionally thank L.