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:11 - 5 self

Documents Related by Co-Citation

91 Java and the Java Virtual Machine - Definition, Verification, Validation – Robert Stärk, Joachim Schmid, Egon Börger - 2001
384 Evolving Algebras 1993: Lipari Guide – Yuri Gurevich - 1995
13 Report on a Practical Application of ASMs in Software Design – Egon Börger, Peter Päppinghaus, Joachim Schmid - 2000
187 Abstract State Machines: A Method for High-Level System Design and Analysis – Egon Börger - 2003
30 Model Checking Support for the ASM High-Level Language – Giuseppe Del Castillo, Kirsten Winter - 2000
34 Formal definition of an abstract VHDL’93 simulator by EAmachines – U Glässer, E Börger, W Müller - 1995
10 CoreASM: An extensible ASM execution engine – Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer - 2005
5 Design and Specification of the CoreASM Execution Engine – Roozbeh Farahbod, Vincenzo Gervasi - 2005
12 Towards Comprehensive Tool Support for Abstract State Machines – G Del Castillo - 1999
20 The ASM ground model method as a foundation of requirements engineering – Egon Börger - 2003
4 Simulating UML statecharts – A Cavarra, E Riccobene - 2001
22 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
12 The Formal Semantics of SDL-2000: Status and Perspectives – U Glässer, R Gotzhein, A Prinz
6 Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code – C Beierle, E Börger, I Durdanovic, U Glässer, E Riccobene - 1996
16 Making the most of formal specification through animation, testing and proof – Juan Bicarregui, Jeremy Dick_, Brian Matthews, Eoin Wood
35 Documentation for safety critical software – P-J Courtois, D L Parnas - 1993
4 Composition and submachine concepts – E Börger, J Schmid - 2000