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

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

帮助

条数/页：排序方式：
	一种用于软件采购定价的成本估算系统期刊论文 OAI收割计算机应用研究, 2008, 卷号: 25, 期号: 3, 页码: 795-798 汤子楠; 舒风笛 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2011/06/10 软件采购成本估算 COCOMO Ⅱ 贝叶斯网络辅助工具软件采购定价总成本估算系统网络模型开发模型参数框架计划项目估算模型估算精度再利用两阶段工作量应用校准科技结构基础
	GRAPES数值天气预报模式软件剖析学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 刘宇收藏 \| 浏览/下载：25/0 \| 提交时间：2011/03/17 数值天气预报基础软件框架赫姆霍兹方程 ILU预条件子
	双重软件体系结构描述框架XYZ/ADL 期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳 \| 收藏 \| 浏览/下载：30/0 \| 提交时间：2011/07/01 软件体系结构体系结构描述语言双重描述框架 XYZ/E 时序逻辑 UML 活动图状态图形式语义结构描述框架形式化方法语义基础图形语言软件工程师表示系统体系结构设计时序逻辑语言软件开发过程软件的可靠性语言建模形式语言行为表示前端静态语义结构框图结构建模基本概念Formal languages Formal methods Semantics Software engineering Software reliability Tem
	UML的形式化及其应用期刊论文 OAI收割计算机科学, 2005, 卷号: 32, 期号: 3, 页码: 136-140 周瑾; 马应龙; 李巍; 吴志林 \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2011/07/28 UML 形式化形式化设计错误数表框架检测优化建议优化方案设计模型软件设计进化过程基础状态图序列图应用人员理论度量
	可视化软件体系结构描述工具XYZ/ADL的设计与实现期刊论文 OAI收割重庆师范学院学报（自然科学版）, 2001, 卷号: 18, 期号: 2, 页码: 1-6 张广泉; 骆华俊; 郑建丹 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/29 时态逻辑软件体系结构体系结构描述工具可视化软件体系结构描述工具体系结构设计模块化程序逐步过渡图形表示设计方法设计单元求精方法逻辑语言动态行为抽象层次语言能连接件交互端组件框架基础规范
	从过程序列、过程链到过程流期刊论文 OAI收割计算机集成制造系统, 2001, 卷号: 7, 期号: 10, 页码: 13-17 祁国宁; 顾新建; 祁连; 韩永生 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/07/29 虚拟产品模型产品数据管理项目管理过程序列过程链过程流虚拟产品模型项目模型产品全生命周期流模型集成框架软件系统开发设计过程集成关键技术结构基础功能
	可视化体系结构描述语言XYZ/ADL 期刊论文 OAI收割软件学报, 2000, 卷号: 11, 期号: 8, 页码: 1024-1029 骆华俊; 唐稚松; 郑建丹 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2011/07/29 时序逻辑语言软件体系结构体系结构描述语言组件连接件交互端可视化体系结构设计时序逻辑语言软件体系结构结构描述语言逐步过渡统一框架设计单元静态语义动态语义连接件交互端组件基础