机构

• 软件研究所 [10]
• 亚热带农业生态研究所 [1]
• 遥感与数字地球研究所 [1]
• 西安光学精密机械研究... [1]

采集方式

• OAI收割 [13]

内容类型

• 期刊论文 [8]
• 学位论文 [3]
• 会议论文 [2]

发表日期

• 2012 [1]
• 2011 [1]
• 2010 [1]
• 2008 [2]
• 2007 [3]
• 2006 [1]
• 更多

学科主题

• Computer S... [1]
• 计算机应用 [1]

筛选

浏览/检索结果: 共13条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 天然气水合物开发过程中压力场变化的数值模拟 会议论文  OAI收割 2012 乔彦超; 郭子祺; 石耀霖 收藏  |  浏览/下载：32/0  |  提交时间：2015/01/05 天然气水合物  海底反射层  低温高压  能源储量  碳储量  开发过程  海底稳定性  南海北部  冻土区  实物样品   任务驱动的软件生产线框架设计与实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2011 詹孟粮   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/06/20 软件开发环境+软件生产线+软件生产线框架+敏捷开发过程   基于风险管理的软件开发过程模型及其复合实物期权分析 期刊论文  OAI收割 管理工程学报, 2010, 卷号: 24, 期号: 2, 页码: 61-67 陈涛; 丛国栋; 于本海; 张金隆   |  收藏  |  浏览/下载：32/0  |  提交时间：2011/05/23 软件开发过程模型  风险管理  实物期权software process model  risk management  real options   空间科学探测任务仿真概念模型研究 学位论文  OAI收割 博士: 中国科学院西安光学精密机械研究所, 2008 彭晓东 收藏  |  浏览/下载：22/0  |  提交时间：2011/10/10 仿真概念模型（SCM）  空间探测任务仿真  SCM建模方法  SCM开发过程  HLA仿真   基于代数的软件过程建模系统的设计与实现 期刊论文  OAI收割 计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539 杨国伟; 杨秋松; 翟健; 袁峰   |  收藏  |  浏览/下载：26/0  |  提交时间：2011/06/10 软件过程建模  多元π演算  ASPMS系统  形式化分析  验证  代数  软件过程建模语言  建模系统  设计  软件开发过程  易于理解  表示方式  表达能力  图形化  形式化语义  组织  生产质量  开发效率  π演算  模型  描述  矛盾   空间碎片搜索数字化仿真系统的设计与实现 期刊论文  OAI收割 系统仿真学报, 2007, 卷号: 19, 期号: 24, 页码: 5680-5683,5687 王抒雁; 王宇心; 陈宏   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/01 UML  建模  碎片  搜索  仿真  空间碎片  数字化  仿真系统  用例模型  质量和效率  可视化建模  行为模型  设计方法  软件开发  耦合关系  面向对象  可扩展性  开发过程  辅助作用  适用性  航天器  证明  识别  平台   双重软件体系结构描述框架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   开发等式比较SQL查询语句的一种模型推理方法 期刊论文  OAI收割 计算机工程与应用, 2007, 卷号: 43, 期号: 22, 页码: 99-102,164 杨波; 薛锦云   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/01 等式比较  SQL查询语句  模型推理  一阶谓词逻辑  开发过程  查询语句  逻辑表达式  一阶谓词  直觉推理  有章可循  推理方法  固定形式  对应关系  类典型  应用  描述   基于决策树算法的可用性评估平台的实现 期刊论文  OAI收割 计算机仿真, 2006, 卷号: 23, 期号: 9, 页码: 53-57 常晓红; 苏菲   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/13 可用性评估  信息熵  决策树  智能交互  决策树  分类算法  可用性评估  用户满意度  知识支持  评估平台  交互过程  软件开发过程  市场竞争力  知识内容  知识分类  用户选择  信息影响  平台系统  评估工作  节点信息  交互方式  产品质量  属性值  有价值   一个基于多模型的软件过程仿真模型 会议论文  OAI收割 2005中国计算机大会, 武汉 刘峻; 范植华; 王宇心   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/28 软件过程  元模型  离散事件系统规范  多模型  开发过程