Capturing requirements by Abstract State Machines: The Light Control case study (2000)

Cached

Download Links

by Egon Borger , Elvinia Riccobene , Joachim Schmid
Venue:Journal of Universal Computer Science
Citations:12 - 5 self

Documents Related by Co-Citation

97 Java and the Java Virtual Machine - Definition, Verification, Validation – Robert Stärk, Joachim Schmid, Egon Börger - 2001
405 Evolving Algebras 1993: Lipari Guide – Yuri Gurevich - 1995
15 Report on a Practical Application of ASMs in Software Design – Egon Börger, Peter Päppinghaus, Joachim Schmid - 2000
213 Abstract State Machines: A Method for High-Level System Design and Analysis – Egon Börger - 2003
35 Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines – E Börger, U Glässer, W Müller - 1995
13 CoreASM: An extensible ASM execution engine – Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer - 2005
31 Model Checking Support for the ASM High-Level Language – Giuseppe Del Castillo, Kirsten Winter - 2000
6 Design and Specification of the CoreASM Execution Engine – Roozbeh Farahbod, Vincenzo Gervasi - 2005
13 Towards Comprehensive Tool Support for Abstract State Machines – G Del Castillo - 1999
21 The ASM ground model method as a foundation of requirements engineering – Egon Börger - 2003
5 Simulating UML Statecharts – A Cavarra, E Riccobene - 2001
13 The Formal Semantics of SDL-2000: Status and Perspectives – U Glässer, R Gotzhein, A Prinz
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
23 ASM-Based Testing: Coverage Criteria and Automatic Test Sequence Generation – Angelo Gargantini, Elvinia Riccobene - 2001
4 Executing ASM Specitications with AsmGofer. Last visited – Joachim Schmid - 2006
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
29 Xasm - An Extensible, Component-Based Abstract State Machines Language – Matthias Anlauff - 2000
15 Partial Updates: Exploration – Yuri Gurevich, Nikolai Tillmann - 2001
1254 The model checker SPIN – Gerard J. Holzmann - 1997