E-Book, Englisch, 235 Seiten, eBook
Abrial / Glässer Rigorous Methods for Software Construction and Analysis
2010
ISBN: 978-3-642-11447-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
E-Book, Englisch, 235 Seiten, eBook
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-642-11447-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
