Introduction to AsmGofeer (2001)

Cached

Download Links

by Joachim Schmid
Citations:1 - 0 self

Active Bibliography

CoreASM; An . . . for High-level Design and Analysis of Distributed Systems – Roozbeh Farahbod - 2009
1 Linking architectural and component level system views by abstract state machines – Egon Börger
8 The hidden computation steps of turbo Abstract State Machines – Nicu G. Fruja, Robert F. Stärk - 2003
26 Structuring Graphical Paradigms in TkGofer – Koen Claessen, Ton Vullinghs, Erik Meijer - 1997
Specification Language Design Concepts: . . . – Mashaal Anwar Memon - 2006
Design and Specification of the CoreASM . . . – R. Farahbod, V. Gervasi, U. Glässer, M. Memon - 2006
Using Abstract State Machines to . . . User Interface System – Ming (Mike) Su - 2006
1 Semantic Blueprints of Discrete Dynamic Systems: Challenges and Needs in Computational Modeling of Complex Behavior – Roozbeh Farahbod, Uwe Glässer
2 Model checking support for CoreASM: Model checking distributed abstract state machines using spin – George Ma, C George Ma, George Ma - 2007
3 Java Bytecode Verification is Not Possible – Robert F. Stärk, Joachim Schmid - 2001
2 Java bytecode verification is not possible (Extended Abstract) – Robert F. Stärk, Joachim Schmid
4 Lifestyles - A Paradigm for the description of spatiotemporal databases – Dipl. -ing Damir Medak, Univ. -prof Dr, Andrew Frank, Department Of, Univ. -prof Dr, Thomas Eiter - 1999
Modular and Extensible Types – Lucília Figueiredo, Carlos Camarão - 1999
Functional Programming Olaf Chitil – unknown authors
7 The Bits Between The Lambdas: Binary Data in a Lazy Functional Language – Malcolm Wallace, Colin Runciman - 1998
1 Design for Reuse via Structuring Techniques for ASMs – Egon Börger - 2001
ViBBA: A Toolbox for Automatic Model Driven – Animation Angelo Gargantini, Angelo Gargantini, Elvinia Riccobene
2 Automatic Model Driven Animation of SCR Specifications – Angelo Gargantini, Elvinia Riccobene - 2003
1 Compiling Abstract State Machines – Joachim Schmid