The color coding means:


: all participate
: Doctoral students participate
: next seminar

Please find the abstracts below the schedule and note that some of the slides are made available here, internally.

Date Time Topic Speaker Room
2019 Oct 15 12:45-15:45 The Abstract State Machines Method for High Level System Design and Analysis Egon Börger
(Università di Pisa)
Universität Leipzig
P 501
2019 Oct 22  13:15-16:15 TBA Sergei Kuznetsov
(National Research University Higher School of Economics, Moscow)
TU Dresden
APB E005 
2019 Oct 29 13:15‑16:15 TBA Sam van Gool
(Utrecht University)
TU Dresden
APB E005 
2019 Nov 12 12:45‑15:45     Universität Leipzig
P 501
   
2019 Nov 19 13:15-16:15     TU Dresden
APB E005
   
2019 Nov 26 12:45‑15:45     Universität Leipzig
P 501
2019 Dec 10 13:15-16:15 TBA Nathanaël Fijalkow
(CNRS, LaBRI, Bordeaux)
TU Dresden
APB E005
2019 Dec 17 13:15-16:15     TU Dresden
APB E005
   
2020 Jan 7 12:45‑15:45 TBA Christian Ikenmeyer
(Max Planck Institute for Software Systems, Saarbrücken)
Universität Leipzig
P 501
2020 Jan 14 12:45‑15:45     Universität Leipzig
P 501
   
2020 Jan 21 13:15-16:15     TU Dresden
APB E005
2020 Feb 4 12:45‑15:45     Universität Leipzig
P 501





Abstracts


Egon Börger: The Abstract State Machines Method for High Level System Design and Analysis

We explain the three basic concepts of the Abstract State Machines (ASM) Method for a rigorous development of software intensive systems. The method allows the practitioner to start with an accurate and trustworthy application-domain-centric system model and to link such a `ground model' in a well documented and controllable way through intermediate design steps (called `refinements') to its implementation. The method has been used successfully, under industrial constraints, for the design and analysis of complex hardware/software systems. We highlight some characteristic examples and provide the simple definition of ASMs, starting from scratch. Through its versatility the ASM approach is non-monolithic and integratable at any development level into current software design and analysis environments.