塞巴斯蒂安·鲍尔。;乌里法伦伯格;Juhl,线路;Larsen,Kim G。;Legay、Axel;克劳斯·苏兰 加权模态转换系统的定量精化。 (英语) Zbl 1343.68150号 Murlak,Filip(编辑)等人,《2011年计算机科学的数学基础》。2011年8月22日至26日,波兰华沙,第36届国际研讨会,MFCS 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22992-3/pbk)。计算机科学课堂讲稿6907,60-71(2011)。 摘要:规范理论作为基于组件的软件系统开发过程中的一种工具,最近受到了相当大的关注。然而,当前的规范理论本质上是定性的,因此很脆弱,不适合现代软件系统。我们提出了第一种规范理论,该理论允许在细化和实现过程中捕获定量方面。关于整个系列,请参见[Zbl 1219.68020号]. 引用于6文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:降低设计复杂性;模态规范;定量推理 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,Lect。注释计算。科学。6907,60-71(2011;Zbl 1343.68150) 全文: 内政部