Egon Börger

Egon Börger is a computer scientist.

Professor Egon Börger studied at the Sorbonne, Paris (France), University of Louvain and Institut Supérieur de Philosophie de Louvain (Belgium), University of Münster, (Germany) from 1965 to 1971.

Börger is well-known for espousing Evolving Algebras , a formal method for specification and verification, now known as Abstract State Machines (ASM). Since 1985 he has held a Chair in computer science at the University of Pisa, Italy.

= Selected publications =

Egon Börger and Robert Stärk, [http://www.di.unipi.it/AsmBook/ Abstract State Machines: A Method for High-Level System Design and Analysis] , Springer-Verlag, 2003. (ISBN 3-540-00702-4)

Egon Börger, Abstract state machines and high-level system design and analysis. .

= External links =

*[http://www.di.unipi.it/~boerger/ Home page] *[http://www.di.unipi.it/~boerger/papers&cv.html Publications, etc.] *[http://www.di.unipi.it/~boerger/Curriculum/cv.pdf Curriculum Vitae] (Portable Document Format *[http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/B=ouml=rger:Egon.html DBLP publications]