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
Inhoudsopgave
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.Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat PDF ● Pagina’s 235 ● ISBN 9783642114472 ● Editor Jean-Raymond Abrial & Uwe Glässer ● Uitgeverij Springer Berlin ● Stad Heidelberg ● Land DE ● Gepubliceerd 2010 ● Downloadbare 24 maanden ● Valuta EUR ● ID 2171600 ● Kopieerbeveiliging Adobe DRM
Vereist een DRM-compatibele e-boeklezer
Meer e-boeken van dezelfde auteur (s) / Editor
16.523 E-boeken in deze categorie
