×

加权模态转换系统的定量精化。 (英语) 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号].

MSC公司:

60年第68季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部