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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Müller, Peter (Editor, http://id.loc.gov/vocabulary/relators/edt), Schaefer, Ina (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Subjects: Software engineering.; Mathematical logic.; Programming languages (Electronic computers).; Software Engineering.; Mathematical Logic and Formal Languages.; Programming Languages, Compilers, Interpreters.

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