Rigorous Methods for Software Construction and Analysis

Keyphrases

Publications

2009

Michael Leuschel, Dominique Cansell, Michael J. Butler
Validating and Animating Higher-Order Recursive Functions in B. Rigorous Methods for Software Construction and Analysis (2009)
Sylvain Boulmé, Marie-Laure Potet
Spec#. Rigorous Methods for Software Construction and Analysis (2009)
Peter Müller, Joseph N. Ruskiewicz
A Modular Verification Methodology for C# Delegates. Rigorous Methods for Software Construction and Analysis (2009)
Jonathan P. Bowen, Michael G. Hinchey
Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. Rigorous Methods for Software Construction and Analysis (2009)
Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. Rigorous Methods for Software Construction and Analysis (2009)
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Ten Reasons to Metamodel ASMs. Rigorous Methods for Software Construction and Analysis (2009)
Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. Rigorous Methods for Software Construction and Analysis (2009)
Helen Treharne, Steve A. Schneider, Neil Grant, Neil Evans, Wilson Ifill
A Step towards Merging xUML and CSP || {\| \ }B. Rigorous Methods for Software Construction and Analysis (2009)
Dominique Cansell, Dominique Méry
Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development. Rigorous Methods for Software Construction and Analysis (2009)
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma
CoreASM Plug-In Architecture. Rigorous Methods for Software Construction and Analysis (2009)
Markus Kirchberg, Klaus-Dieter Schewe, Jane Zhao
Using Abstract State Machines for the Design of Multi-level Transaction Schedulers. Rigorous Methods for Software Construction and Analysis (2009)
Peggy Schmidt, Bernhard Thalheim
Management of UML Clusters. Rigorous Methods for Software Construction and Analysis (2009)
Vincenzo Gervasi, Roozbeh Farahbod
JASMine: Accessing Java Code from CoreASM. Rigorous Methods for Software Construction and Analysis (2009)
Andreas Glausch, Wolfgang Reisig
An ASM-Characterization of a Class of Distributed Algorithms. Rigorous Methods for Software Construction and Analysis (2009)

volume 5115, 2009

Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday Rigorous Methods for Software Construction and Analysis 5115 (2009)