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

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

帮助

条数/页：排序方式：
	基于代数的软件过程建模系统的设计与实现期刊论文 OAI收割计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539 杨国伟; 杨秋松; 翟健; 袁峰 \| 收藏 \| 浏览/下载：35/0 \| 提交时间：2011/06/10 软件过程建模多元π演算 ASPMS系统形式化分析验证代数软件过程建模语言建模系统设计软件开发过程易于理解表示方式表达能力图形化形式化语义组织生产质量开发效率 π演算模型描述矛盾
	应用统计过程控制监控软件测试过程期刊论文 OAI收割计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 725-730 车美儒; 杨国伟; 勾朗; 姜楠 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/06/10 统计过程控制软件测试过程过程性能过程稳定性质量控制应用监控软件测试过程 software testing 使用控制图过程行为质量控制方法决策和预测软件过程监控过程计算方式分布形式稳定性数据描述度量
	基于模型检查实现J2EE规范的实例研究期刊论文 OAI收割计算机科学, 2006, 卷号: 33, 期号: 12, 页码: 249-254 李彦; 张文博; 陈宁江 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2011/07/13 J2EE规范模型检查 SPIN 基于模型检查工具规范要求 Model Checking 应用服务器描述方式设计方案兼容性测试形式化模型分析与验证自然语言证明使用模型技术设计规范描述规范方法多层应用中科院分布式二义性
	基于图论的作战计划军事效果评估期刊论文 OAI收割计算机科学, 2005, 卷号: 32.0, 期号: 007, 页码: 148 作者: 秦前付; 曹存根; 徐洸 \| 收藏 \| 浏览/下载：9/0 \| 提交时间：2023/12/04 作战计划效果评估图论系统评估计算方法仿真系统描述方式军事目标作战任务相互影响相互制约打击目标核心能力评估方法关系图图算法网络