×

统一的编程理论。 (英语) Zbl 0884.68011号

Broy,Manfred(编辑)等人,《程序开发中的数学方法》。《北约ASI会议记录》,德国马克托伯多夫,1996年7月30日至8月11日。柏林:斯普林格。北约ASI系列。,序列号。F、 计算。系统。科学。158, 313-367 (1997).
摘要:一个成熟的工程学科的专业实践是基于相关的科学理论,通常用数学的语言表达。编程的数学理论旨在为计算机程序的规范、设计和实现提供类似的基础。该理论可以以多种形式呈现,包括1)表示法,将程序与其可观察属性和行为的规范联系起来。2) 代数,为设计和程序的比较、转换和优化提供方程和不等式。3) 操作,描述可能的机械实现的各个步骤。
本文分别介绍了这三种类型的序列非确定性规划的简单理论;通过以循环的方式从其前一个表示派生出每个表示,可以确保相互的一致性。
关于整个系列,请参见[Zbl 0874.00040号].

MSC公司:

68号01 软件理论的一般主题

关键词:

程序设计方法
PDF格式BibTeX公司 XML格式引用