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

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

帮助

条数/页：排序方式：
	现代烟草农业地理信息系统需求形式化描述研究期刊论文 OAI收割中国烟草科学, 2013, 期号: 4, 页码: 88-92 邵小东; 蒋样明; 宋文峰; 黄坤收藏 \| 浏览/下载：15/0 \| 提交时间：2015/01/05 烟草地理信息 GIS 需求工程形式化描述 Alloy
	BPEL引擎监控平台的设计与实现学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 陈今梁 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/03/17 BPEL AOP 运行期监控需求描述
	基于DSL的装备保障领域建模期刊论文 OAI收割计算机工程, 2008, 卷号: 34, 期号: 2, 页码: 66-68,71 王金全; 郑宇军; 王侃收藏 \| 浏览/下载：115/6 \| 提交时间：2011/06/10 需求工程领域专用语言装备保障模型转换装备保障元模型自动生成专用语言执行系统软件系统开发人员证明要素行为实验描述流程精化建模构建
	需求驱动的Web服务建模及其验证:一个基于本体的方法期刊论文 OAI收割中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/07/13 Web服务环境本体自动组合 π演算形式化验证需求驱动 Web服务建模验证算法本体组合模型环境变化能力描述进程表达式转换机制验证方法可满足性操作形式化概念化 π演算语义行为框架交互
	一致性测试中的时间约束及测试用例生成算法期刊论文 OAI收割西安交通大学学报, 2006, 卷号: 40, 期号: 4, 页码: 381-385 赵保华; 柯尧 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/13 一致性测试时间约束边界网关协议一致性测试时间约束用例生成算法 Conformance Testing 协议测试测试用例流测试边界网关协议约束问题需求描述网络拓扑同步时间事件约束时间参数环境设置等待时间测试序列测试理论测试方法测试代价
	一种计算机取证中需求定义的方法期刊论文 OAI收割电子学报, 2006, 卷号: 34, 期号: 5, 页码: 921-923 孙波; 刘欣然; 孙玉芳 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/13 电子数据取证有效性真实性计算机取证环境需求定义定义方法应用环境实际应用软件工程描述基本理论方法研究安全工程灵活性定义法思想规范场景
	关于软件需求中的不一致性管理期刊论文 OAI收割软件学报, 2005, 卷号: 16.0, 期号: 007, 页码: 1221 作者: 朱雪峰; 金芝 \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 需求工程需求描述需求不一致性的管理