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 …
Eyetrans: Merging human and machine attention for neural code summarization
Neural code summarization leverages deep learning models to automatically generate brief
natural language summaries of code snippets. The development of Transformer models has …
natural language summaries of code snippets. The development of Transformer models has …
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 …
Formalizing the safety of Java, the Java virtual machine, and Java card
We review the existing literature on Java safety, emphasizing formal approaches, and the
impact of Java safety on small footprint devices such as smartcards. The conclusion is that …
impact of Java safety on small footprint devices such as smartcards. The conclusion is that …
[BOOK][B] Foundations of object-oriented languages: types and semantics
KB Bruce - 2002 - books.google.com
In recent years, object-oriented programming has emerged as the dominant computer
programming style, and object-oriented languages such as C++ and Java enjoy wide use in …
programming style, and object-oriented languages such as C++ and Java enjoy wide use in …
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 …
[BOOK][B] Computational artifacts
R Turner, R Turner - 2018 - Springer
Technical artifacts are taken to include all the common objects of everyday life, such as
chairs, televisions, paper clips, telephones, smartphones and dog collars. They are material …
chairs, televisions, paper clips, telephones, smartphones and dog collars. They are material …
Semantic anchoring with model transformations
K Chen, J Sztipanovits, S Abdelwalhed… - … and Applications: First …, 2005 - Springer
Abstract Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture
(MDA), which has been developed primarily for embedded systems. MIC places strong …
(MDA), which has been developed primarily for embedded systems. MIC places strong …
Toward a semantic anchoring infrastructure for domain-specific modeling languages
Metamodeling facilitates the rapid, inexpensive development of domain-specific modeling
languages (DSML-s). However, there are still challenges hindering the wide-scale industrial …
languages (DSML-s). However, there are still challenges hindering the wide-scale industrial …