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

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

帮助

条数/页：排序方式：
	公平交换协议分析与实现技术研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 李改成收藏 \| 浏览/下载：23/0 \| 提交时间：2011/03/17 公平交换协议形式化方法需求求精可信第三方
	结合搜索空间划分和抽象进行LTL模型检测期刊论文 OAI收割中国科学E辑, 2007, 卷号: 37, 期号: 12, 页码: 1504-1520 蒲飞; 张文辉 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2011/07/01 搜索空间划分求精抽象 LTL模型检测应用模型状态空间爆炸方法空间复杂度逐步求精数值实验检测工业系统障碍验证效率消减内存
	一种基于构件的软件体系结构求精方法及其应用期刊论文 OAI收割重庆师范学院学报(自然科学版), 2003, 卷号: 20, 期号: 2, 页码: 1-5 晏荣杰; 张广泉 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/07/29 软件体系结构构件形式化描述求精 XYZ/E 基于构件软件体系结构方法及应用求精方法形式化描述时序逻辑语言研究领域描述语言开发实例基于行为工程学科风格
	可视化软件体系结构描述工具XYZ/ADL的设计与实现期刊论文 OAI收割重庆师范学院学报（自然科学版）, 2001, 卷号: 18, 期号: 2, 页码: 1-6 张广泉; 骆华俊; 郑建丹 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2011/07/29 时态逻辑软件体系结构体系结构描述工具可视化软件体系结构描述工具体系结构设计模块化程序逐步过渡图形表示设计方法设计单元求精方法逻辑语言动态行为抽象层次语言能连接件交互端组件框架基础规范
	基于组件的逐步求精程序设计方法学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001 郑建丹收藏 \| 浏览/下载：15/0 \| 提交时间：2011/03/17 XYZ系统时序逻辑语言软件体系结构逐步求精形式化方法
	XYZ系统在多媒体领域的应用研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000 赵琛收藏 \| 浏览/下载：20/0 \| 提交时间：2011/03/17 多媒体系统 XYZ系统时序描述逐步求精自动转换基于描述的测试形式化方法