Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of His 60th Birthday

by Peter Muller

Book Overview

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.-...

• Format: Hardcover
• Language: English
• ISBN: 3319980467
• ISBN13: 9783319980461
• Release Date: October 2018
• Publisher: Springer
• Length: 323 Pages
• Weight: 1.41 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"