提示
缪淮扣
-
56浏览
-
0点赞
-
0收藏
-
0分享
-
37下载
-
0评论
-
引用
期刊论文
Z规格说明的前置条件的简化*
软件学报，1997，8（9）：609～715，-0001，（）：
摘要/描述
在软件方法学中，形式方法越来越受到人们的重视，并已被应用于软件开发，Z是一种基于数学表示的软件规格说明方法。前置条件的简化是Z规格说明方法中一种标准的检查，本文讨论了Z规格说明中关于操作的前置条件及其计算。提出了简化过程的终止条件，给出了一个用于简化前置条件的算法，该算法可自动产生简化过程的证据。
【免责声明】以下全部内容由[缪淮扣]上传于[2009年07月21日 15时13分32秒]，版权归原创者所有。本文仅代表作者本人观点，与本网站无关。本网站对文中陈述、观点判断保持中立，不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考，并请自行承担全部责任。
我要评论
全部评论
共 0 条
本学者其他成果
同领域成果
