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

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

帮助

条数/页：排序方式：
	基于风险管理的软件开发过程模型及其复合实物期权分析期刊论文 OAI收割管理工程学报, 2010, 卷号: 24, 期号: 2, 页码: 61-67 陈涛; 丛国栋; 于本海; 张金隆 \| 收藏 \| 浏览/下载：28/0 \| 提交时间：2011/05/23 软件开发过程模型风险管理实物期权software process model risk management real options
	基于代数的软件过程建模系统的设计与实现期刊论文 OAI收割计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539 杨国伟; 杨秋松; 翟健; 袁峰 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2011/06/10 软件过程建模多元π演算 ASPMS系统形式化分析验证代数软件过程建模语言建模系统设计软件开发过程易于理解表示方式表达能力图形化形式化语义组织生产质量开发效率 π演算模型描述矛盾
	双重软件体系结构描述框架XYZ/ADL 期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳 \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2011/07/01 软件体系结构体系结构描述语言双重描述框架 XYZ/E 时序逻辑 UML 活动图状态图形式语义结构描述框架形式化方法语义基础图形语言软件工程师表示系统体系结构设计时序逻辑语言软件开发过程软件的可靠性语言建模形式语言行为表示前端静态语义结构框图结构建模基本概念Formal languages Formal methods Semantics Software engineering Software reliability Tem
	基于决策树算法的可用性评估平台的实现期刊论文 OAI收割计算机仿真, 2006, 卷号: 23, 期号: 9, 页码: 53-57 常晓红; 苏菲 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/13 可用性评估信息熵决策树智能交互决策树分类算法可用性评估用户满意度知识支持评估平台交互过程软件开发过程市场竞争力知识内容知识分类用户选择信息影响平台系统评估工作节点信息交互方式产品质量属性值有价值
	一种以活动为中心的软件过程元模型期刊论文 OAI收割计算机工程与设计, 2004, 卷号: 25, 期号: 4, 页码: 612-615 张颖; 施海虎; 柳军飞 \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2011/07/29 软件过程软件过程元模型 ECA规则 XML schema 活动中心软件过程元模型软件开发过程过程定义软件过程工程转移关系可操作性结构简单规则处理语言语法应用文档描述检查
	基于Kp德的企业运营管理信息系统研究与实践学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 张凯峰收藏 \| 浏览/下载：11/0 \| 提交时间：2011/03/17 运营管理企业信息化软件开发过程