×

原则性软件开发。在阿恩·波茨切·赫夫特60岁生日之际,为他撰写的论文。根据2018年11月在德国凯泽斯劳滕举行的研讨会上的陈述选出的论文。 (英语) Zbl 1400.68032号

查姆:施普林格(ISBN 978-3-319-98046-1/hbk;978-3-316-98047-8/电子书)。viii,第323页。(2018).
出版商描述:本书介绍了一系列研究论文,这些论文解决了如何以原则性的方式开发软件的挑战,尤其是能够进行推理。个别论文从不同的角度处理这一挑战,包括编程语言、程序验证和软件的系统变体。涵盖的主题包括并发和分布式软件的编程抽象、命令式程序的规范和验证技术,以及软件产品线的开发技术。
在阿恩·波茨施·赫夫特60岁生日之际,编辑和作者希望通过这本书来感谢他的工作,他在整个职业生涯中对软件技术做出了重大贡献。它的特色是关于Arnd广泛研究兴趣的文章,其中包括编程语言的实现、形式语义、面向对象和并发程序的规范和验证、编程语言设计、分布式系统、软件建模和软件产品线。所有有贡献的作者都是编程语言和软件工程领域的顶尖专家,在其职业生涯中与Arnd合作过。
总的来说,这本书提供了一系列高质量的文章,介绍了原始的研究成果、主要案例研究和鼓舞人心的愿景。其中一些作品于2018年11月在德国凯泽斯劳滕举行的纪念阿尔恩·波茨施·赫夫特的研讨会上发表。
本卷的文章不会单独编入索引。

理学硕士:

68-06 与计算机科学有关的会议记录、会议、收藏等
68号30 软件工程的数学方面(规范、验证、度量、需求等)
00B25型 杂项特定利益的会议记录
00B30型 费斯特施里夫滕

传记参考:

诗人希·赫夫特
PDF格式BibTeX公司 XML格式引用
全文: 内政部