Rigorous Methods for Software Construction and Analysis

Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

256 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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 xUML and CSP B.- CoreASM Plug-In Architecture.- JASMine: Accessing Java Code from CoreASM.- 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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783642114465
• Sprache: Englisch
• Erscheinungsdatum: 20.01.2010
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Uwe Glässer, Jean-Raymond Abrial