Rigorous Methods for Software Construction and Analysis (eBook)

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

Jean-Raymond Abrial, Uwe Glässer (Herausgeber)

eBook Download: PDF

2010 | 2010
XVI, 235 Seiten
Springer Berlin (Verlag)
9783642114472 (ISBN)

Infos

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.

Inhalt

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.

Produkt-Details

• Erscheint lt. Verlag: 10.1.2010
• Reihe/Serie: Lecture Notes in Computer Science
• Reihe/Serie: Theoretical Computer Science and General Issues
• Verlagsort: Berlin
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik
• Schlagworte: Abstract State Machines • algorithm • algorithms • Analysis • Animation • arithmetic • B-method • Compiler • Concurrency Models • event-based method • Formal Method • Multi-agent Systems • Petri Nets • Pro • verification
• ISBN-13: 9783642114472 / 9783642114472