This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.
€71.39
Table of Content
Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#.- Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development.- Ten Reasons to Metamodel ASMs.- An ASM-Characterization of a Class of Distributed Algorithms.- Using Abstract State Machines for the Design of Multi-level Transaction Schedulers.- Validating and Animating Higher-Order Recursive Functions in B.- A Systematic Verification Approach for Mondex Electronic Purses Using ASMs.- Management of UML Clusters.- A Step towards Merging x UML and CSP B.- Core ASM Plug-In Architecture.- JASMine: Accessing Java Code from Core ASM.- A Modular Verification Methodology for C# Delegates.- On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages.- Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net.Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● Pages 235 ● ISBN 9783642114472 ● Editor Jean-Raymond Abrial & Uwe Glässer ● Publisher Springer Berlin ● City Heidelberg ● Country DE ● Published 2010 ● Downloadable 24 months ● Currency EUR ● ID 2171600 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader
More ebooks from the same author(s) / Editor
16,523 Ebooks in this category
