中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共5条，第1-5条

帮助

条数/页：排序方式：
	SRLtoRadl生成系统及其范畴论语义期刊论文 OAI收割电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康 \| 收藏 \| 浏览/下载：32/0 \| 提交时间：2014/12/16 结构化需求语言形式化软件规约自动生成系统高可靠范畴论语义 structural requirement language formal software specification automatic generation system high reliability category semantics
	SRL→Radl生成系统及其相关理论研究学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2010 王昌晶 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2012/06/20 结构化需求语言形式化软件规约生成系统范畴论规约相对正确性
	使用SPEC#开发高可靠性的算法程序期刊论文 OAI收割计算机工程与应用, 2006, 卷号: 42, 期号: 12, 页码: 114-117,130 郑宇军; 马燕; 薛锦云 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2011/07/13 SPEC# 形式化方法算法程序契约开发高可靠性软件自动化对象不变式契约机制可维护性基本特性后置条件程序规约形式化可读性语言前置描述
	形式化方法B及其程序规约机理期刊论文 OAI收割计算机工程, 2004, 卷号: 30, 期号: 16, 页码: 16-18,50 肖美华; 薛锦云 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/29 形式化方法B 程序规约抽象机程序设计形式化方法程序规约机理软件自动化软件可靠性生产效率开发软件抽象机运用历史革命
	关于软件形式化方法期刊论文 OAI收割重庆师范学院学报：自然科学版, 2002, 卷号: 19.0, 期号: 002, 页码: 1 作者: 张广泉 \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2023/12/04 软件形式化方法规约验证演绎证明模型检测