Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th BirthdayJean-Raymond Abrial, Uwe Glässer Springer, 10.01.2010 - 235 Seiten 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
| 1 | |
Designing Old and New Distributed Algorithms by Replaying an Incremental ProofBased Development | 17 |
Ten Reasons to Metamodel ASMs | 33 |
An ASMCharacterization of a Class of Distributed Algorithms | 50 |
Using Abstract State Machines for the Design of Multilevel Transaction Schedulers | 65 |
Validating and Animating HigherOrder Recursive Functions in B | 78 |
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs | 93 |
Management of UML Clusters | 111 |
A Step towards Merging xUML and CSP B | 130 |
CoreASM PlugIn Architecture | 147 |
Accessing Java Code from CoreASM | 170 |
A Modular Verification Methodology for C Delegates | 187 |
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages | 204 |
Lessons for ASM B Z and VSRnet | 219 |
Author Index | 234 |
Andere Ausgaben - Alle anzeigen
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to ... Jean-Raymond Abrial,Uwe Glässer Eingeschränkte Leseprobe - 2009 |
Häufige Begriffe und Wortgruppen
ABORT Abrial Abstract State Machines abstract storage action application approach architecture ASM models ASM specifications AsmL AsmM Börger class diagrams cluster Command pattern component Computer Science concrete concurrent constraints context CoreASM CoreASM engine declared defined definition delegate instance distributed algorithms distributed ASMs Egon Börger environment evaluated example execution expression extension formal methods framework function Gurevich Heidelberg implementation initial instantiation integration interaction interface invocation invoked IsLoaded isomorphism JASMine Java object lambda abstractions language LNCS M.st metamodel model checking molecules Mondex node notation operational semantics operations paper parser plug-ins precondition predicate ProB proof obligations properties protocol purse recursive requires clause rule schedule Section semantics sequence sequential set comprehension signal signature simulation Springer static step structure syntax target tion transaction UML diagrams update valid variables verify xUML model