Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60
143.14 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10475810
Beschreibung
Smart Contracts - A Killer Application for Deductive Source Code Verification.- A Methodology for Invariants, Framing, and Subtyping in JML.- Trends in Relational Program Verification.- Collaborative work management with a highly-available Kanban board.- A Case for Certifying Compilers in Industrial Automation.- Compositional Semantics for Concurrent Object Groups in ABS.- Same Same But Different: Interoperability of Software Product Line Variants.- A Hoare Logic Contract Theory An Exercise in Denotational Semantics.- Towards Reliable Concurrent Software.- Dynamic Software Updates and Context Adaptation for Distributed Active Objects.- Using CSP to Develop Quality Concurrent Software.- Modular Verification Scopes via Export Sets and Translucent Exports.- The Binomial Heap Verification Challenge in Viper.- Abstract and Concrete Data Types vs Object Capabilities.- A Personal History of Delta Modelling.- Are Synchronous Programs Logic Programs?.- Illi Isabellistes Se Custodes Egregios Praestabant.- Reasoning about Weak Semantics via Strong Semantics.- Recipes for Coffee - Compositional Construction of JAVA Control Flow Graphs in GROOVE.
Eigenschaften
Breite: | 154 |
Gewicht: | 660 g |
Höhe: | 246 |
Länge: | 25 |
Seiten: | 323 |
Sprachen: | Englisch |
Autor: | Ina Schaefer, Peter Müller |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen