XYZ／SE程序的验证

张文辉

首页> 中文期刊> 《软件学报》 >XYZ／SE程序的验证

XYZ／SE程序的验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

ＸＹＺ／Ｅ的好处之一在于高级和低级的说明能够在同一框架下表示，因而使得软件的说明和实现变得容易一些，在这同时，开发验工具以验证不同层次的说明是滞满足所期望的关系是很重要的。谢洪亮等同时曾研究过ＸＹＺ／ＳＥ程序的验证规则，本篇文章增加了有关使用数组、过程说明和过程调用的规则，同时着重说明ＸＹＺ／ＳＥ程序验证的自动化方面的问题，且实现了一些化简验证条件的规则。

著录项

来源
《软件学报》 |1995年第12期|719-727|共9页
作者
张文辉;
展开▼
作者单位

无;

展开▼
原文格式 PDF
正文语种 CHI
中图分类程序语言、算法语言;
关键词
时序罗辑; 程序验证; XYZ／SE程序; 程序语言;

相似文献

中文文献
外文文献
专利

1. 基于XYZ/SE的软件部分正确性验证 [J] . 张锦 ,刘曼霞 ,赵二群 . 计算机工程与应用 . 2015,第014期
2. XYZ／CFC与XYZ／PAD：图形—文本程序设计环境 [J] . 龚洁 ,唐若鹰 . 软件学报 . 1994,第008期
3. 基于XYZ/ADL的Web服务组合描述与验证 [J] . 张广泉 ,戎玫 ,朱雪阳 . 电子学报 . 2011,第0z1期
4. 基于XYZ/ADL的Web服务组合描述与验证 [J] . 张广泉 ,戎玫 ,朱雪阳 . 电子学报 . 2011,第A03期
5. 基于XYZ/ADL的异步Web服务组合描述与验证 [J] . 石慧娟 ,戎玫 ,张广泉 . 计算机科学 . 2011,第012期
6. 基于XYZ/ADL的Web服务组合描述与验证框架 [C] . 张广泉 ,戎玫 ,朱雪阳 . 2010年全国软件与应用学术会议(NASAC2010) . 2010
7. 基于XYZ/ADL的Web服务组合验证研究 [A] . 何亚丽 . 2010

XYZ／SE程序的验证

摘要

著录项

相似文献

相关主题

期刊订阅