Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday /
This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning. The individual papers approach this challenge from various perspectives including programming languages, program verification, and the...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
| Έκδοση: | 1st ed. 2018. |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
