The ASM ground model method as a foundation of requirements engineering (2003)

Cached

Download Links

by Egon Börger
Venue:Verification: Theory and Practice, volume 2772 of LNCS
Citations:21 - 9 self

Documents Related by Co-Citation

214 Abstract State Machines: A Method for High-Level System Design and Analysis – Egon Börger - 2003
40 The ASM refinement method – E Börger - 2003
98 Java and the Java Virtual Machine - Definition, Verification, Validation – Robert Stärk, Joachim Schmid, Egon Börger - 2001
404 Evolving Algebras 1993: Lipari Guide – Yuri Gurevich - 1995
18 R.F.: A high-level modular definition of the semantics of C#. Theoretical Computer Science 336(2-3 – E Börger, N Fruja, V Gervasi, Stärk - 2005
26 Composition and Submachine Concepts for Sequential ASMs – Egon Börger, Joachim Schmid - 2000
114 Sequential abstract state machines capture sequential algorithms – Yuri Gurevich
9 Abstract State Machines: A unifying view of models of computation and of system design frameworks – Egon Börger - 2005
50 High level system design and analysis using abstract state machines – Egon Börger - 1999
6 The ASM method for system design and analysis. A tutorial introduction – E Börger - 1921
35 Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines – E Börger, U Glässer, W Müller - 1995
4 From finite state machines to virtual machines (Illustrating design patterns and event-B models – E Börger
30 A Logical Operational Semantics for Full Prolog. Part I: Selection Core and Control – E Börger - 1990
29 A Logical Operational Semantics of Full Prolog. Part II: Built-in Predicates for Database Manipulation – E Börger - 1990
27 Verification of ASM Refinements Using Generalized Forward Simulation – Gerhard Schellhorn - 2001
7 Extending and refining an abstract operational semantics of the web services architecture for the business process execution language – Roozbeh Farahbod - 2004
15 Report on a Practical Application of ASMs in Software Design – Egon Börger, Peter Päppinghaus, Joachim Schmid - 2000
13 The Formal Semantics of SDL-2000: Status and Perspectives – U Glässer, R Gotzhein, A Prinz
24 Specification and Validation of the Business Process Execution Language for Web Services – Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi - 2004