Abstract is missing.
- Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control ::::a la::::Spec#Sylvain Boulmé, Marie-Laure Potet. 1-16 [doi]
- Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based DevelopmentDominique Cansell, Dominique Méry. 17-32 [doi]
- Ten Reasons to Metamodel ASMsAngelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. 33-49 [doi]
- An ASM-Characterization of a Class of Distributed AlgorithmsAndreas Glausch, Wolfgang Reisig. 50-64 [doi]
- Using Abstract State Machines for the Design of Multi-level Transaction SchedulersMarkus Kirchberg, Klaus-Dieter Schewe, Jane Zhao. 65-77 [doi]
- Validating and Animating Higher-Order Recursive Functions in BMichael Leuschel, Dominique Cansell, Michael J. Butler. 78-92 [doi]
- A Systematic Verification Approach for Mondex Electronic Purses Using ASMsGerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif. 93-110 [doi]
- Management of UML ClustersPeggy Schmidt, Bernhard Thalheim. 111-129 [doi]
- A Step towards Merging xUML and CSP || {/| / }BHelen Treharne, Steve Schneider, Neil Grant, Neil Evans, Wilson Ifill. 130-146 [doi]
- CoreASM Plug-In ArchitectureRoozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma. 147-169 [doi]
- JASMine: Accessing Java Code from CoreASMVincenzo Gervasi, Roozbeh Farahbod. 170-186 [doi]
- A Modular Verification Methodology for C# DelegatesPeter Müller, Joseph N. Ruskiewicz. 187-203 [doi]
- On the Evolution of OCL for Capturing Structural Constraints in Modelling LanguagesDimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack. 204-218 [doi]
- Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-netJonathan P. Bowen, Michael G. Hinchey. 219-233 [doi]