The abstract state machines method for high-level system design and analysis
E Börger - Formal Methods: State of the Art and New Directions, 2009 - Springer
We explain the main ingredients of the Abstract State Machines (ASM) method for high-level
system design and analysis and survey some of its application highlights in industrial …
system design and analysis and survey some of its application highlights in industrial …
[BOOK][B] Java and the Java virtual machine: definition, verification, validation
RF Stärk, J Schmid, E Börger - 2012 - books.google.com
The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering,
organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing …
organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing …
The ASM refinement method
E Börger - Formal aspects of computing, 2003 - Springer
In this paper the abstract state machine (ASM) refinement method is presented. Its
characteristics compared to other refinement approaches in the literature are explained …
characteristics compared to other refinement approaches in the literature are explained …
[BOOK][B] Modeling companion for software practitioners
E Börger, A Raschke - 2018 - Springer
The proposed method provides this support by a combination of its abstraction concept and
its operational character: models come as behavioral models in the precise and simple form …
its operational character: models come as behavioral models in the precise and simple form …
Compiler verification: a bibliography
MA Dave - ACM SIGSOFT Software Engineering Notes, 2003 - dl.acm.org
The area of software verification has grown its importance in software engineering. This is a
bibliography of verification of a specialized class of softwares called compiler. The citations …
bibliography of verification of a specialized class of softwares called compiler. The citations …
High level system design and analysis using abstract state machines
E Börger - International Workshop on Current Trends in Applied …, 1998 - Springer
We provide an introduction to a practical method for rigorous system development which has
been used successfully, under industrial constraints, for design and analysis of complex …
been used successfully, under industrial constraints, for design and analysis of complex …
Gröbner bases: A short introduction for systems theorists
B Buchberger - International Conference on Computer Aided Systems …, 2001 - Springer
In this paper, we give a brief overview on Gröbner bases theory, addressed to novices
without prior knowledge in the field. After explaining the general strategy for solving …
without prior knowledge in the field. After explaining the general strategy for solving …
An ASM semantics for UML activity diagrams
We provide a rigorous semantics for one of the central diagram types which are used in UML
for the description of dynamical system behavior, namely activity diagrams. We resolve for …
for the description of dynamical system behavior, namely activity diagrams. We resolve for …
The ASM method for system design and analysis. A tutorial introduction
E Börger - International Workshop on Frontiers of Combining …, 2005 - Springer
We introduce into and survey the ASM method for high-level system design and analysis.
We explain the three notions—Abstract State Machine [37], ASM ground model (system …
We explain the three notions—Abstract State Machine [37], ASM ground model (system …
A programmer friendly modular definition of the semantics of Java
We propose in this paper a definition of the semantics of Java programs which can be used
as a basis for the standardization of the language and of its implementation on the Java …
as a basis for the standardization of the language and of its implementation on the Java …