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

Active Bibliography

Extending and Refining an Abstract . . . – Roozbeh Farahbod - 2004
CoreASM; An . . . for High-level Design and Analysis of Distributed Systems – Roozbeh Farahbod - 2009
213 Abstract State Machines: A Method for High-Level System Design and Analysis – Egon Börger - 2003
37 Why use evolving algebras for hardware and software engineering? – Egon Börger - 1995
1 Semantic Blueprints of Discrete Dynamic Systems: Challenges and Needs in Computational Modeling of Complex Behavior – Roozbeh Farahbod, Uwe Glässer
Specification Language Design Concepts: . . . – Mashaal Anwar Memon - 2006
9 Abstract State Machines: A unifying view of models of computation and of system design frameworks – Egon Börger - 2005
4 Computation and specification models. A comparative study – Egon Börger - 2002
50 High level system design and analysis using abstract state machines – Egon Börger - 1999
7 Refining abstract machine specifications of the steam boiler control to well documented executable code – Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, et al. - 1996
16 A High-Level Modular Definition of the Semantics of C# – Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk - 2004
22 Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements – Richard Banach, Czeslaw Jeske, Susan Stepney - 2006
1 Linking architectural and component level system views by abstract state machines – Egon Börger
1 A critical analysis of workflow patterns – Egon Börger - 2007
1 A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines – Hans Tonino
High Level Specification and Validation . . . Services – Mona Vajihollahi - 2004
20 Formal Methods: The Very Idea -- Some Thoughts About Why They Work When They Work – Daniel M. Berry
Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education – James Huggins, Jean Mayo, Charles Wallace
1 The ASM Method: a Cornerstone in Computer Science Education – Egon Börger - 2005