×

一般定量规范理论与模式。 (英语) Zbl 1360.68576号

爱德华·赫施(Edward A.Hirsch)等,《计算机科学——理论与应用》。2012年7月3日至7日,第七届俄罗斯国际计算机科学研讨会,CSR 2012,俄罗斯下诺夫哥罗德。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-30641-9/pbk)。计算机科学课堂讲稿7353,18-30(2012)。
小结:本文提出了一种新的定量规范理论。它将逐步细化和组合设计操作的概念从布尔推广到任意数量设置。结果表明,这种通用方法允许重铸系统设计中出现的许多现有问题。
关于整个系列,请参见[兹比尔1245.68012].

MSC公司:

60年第68季度 规范和验证(程序逻辑、模型检查等)
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部