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.
Jadual kandungan
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.Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Inggeris ● Format PDF ● Halaman-halaman 235 ● ISBN 9783642114472 ● Penyunting Jean-Raymond Abrial & Uwe Glässer ● Penerbit Springer Berlin ● Bandar raya Heidelberg ● Negara DE ● Diterbitkan 2010 ● Muat turun 24 bulan ● Mata wang EUR ● ID 2171600 ● Salin perlindungan Adobe DRM
Memerlukan pembaca ebook yang mampu DRM