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

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

帮助

条数/页：排序方式：
	组件化软件过程建模与分析方法研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2010 翟健 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2010/01/25 软件过程建模语言
	具有严格操作语义的图形化软件过程建模研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 杨秋松 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/03/17 软件过程软件过程建模软件过程建模语言软件过程验证软件过程移动性 TRISO/ML TRISO Model
	基于代数的软件过程建模系统的设计与实现期刊论文 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
	UML辅助化工过程模拟软件设计期刊论文 OAI收割计算机与应用化学, 2003, 期号: 05, 页码: 623-626 赵月红; 温浩; 许志宏收藏 \| 浏览/下载：12/0 \| 提交时间：2013/11/11 化工过程模拟统一建模语言软件设计
	软件过程模型和过程支持环境研究学位论文 OAI收割博士, 中国科学院软件研究所北京中关村 100080: 中国科学院软件研究所北京中关村 100080, 1997 武小鹏收藏 \| 浏览/下载：11/0 \| 提交时间：2011/03/17 组合软件工程对象技术软件过程模型过程建模语言过程支持环境协同工作