Sciweavers

ASM
2000
ASM
14 years 3 months ago
Investigating Java Concurrency Using Abstract State Machines
Yuri Gurevich, Wolfram Schulte, Charles Wallace
ASM
2000
ASM
14 years 3 months ago
Partially Ordered Runs: A Case Study
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...
Yuri Gurevich, Dean Rosenzweig
ASM
2000
ASM
14 years 3 months ago
An ASM Dynamic Semantics for Standard ML
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
Steven C. Cater, James K. Huggins
ASM
2000
ASM
14 years 3 months ago
Report on a Practical Application of ASMs in Software Design
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
Egon Börger, Peter Päppinghaus, Joachim ...
ASM
2000
ASM
14 years 3 months ago
Modeling the Dynamics of UML State Machines
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
Egon Börger, Alessandra Cavarra, Elvinia Ricc...
ASM
2000
ASM
14 years 3 months ago
Abstract State Machines and Computationally Complete Query Languages
Andreas Blass, Yuri Gurevich, Jan Van den Bussche
ASM
2000
ASM
14 years 3 months ago
Using Abstract State Machines at Microsoft: A Case Study
Michael Barnett, Egon Börger, Yuri Gurevich, ...