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

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

帮助

条数/页：排序方式：
	双重软件体系结构描述框架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收割计算机研究与发展, 2005, 期号: 第2期, 页码: 300~307页作者: 史忠植; 盛秋戬; 赵志崑 \| 收藏 \| 浏览/下载：33/0 \| 提交时间：2010/10/14 工作流 Uml活动图语义
	UML活动图的时序逻辑语义期刊论文 OAI收割计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484 朱雪阳; 唐稚松 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/28 UML 活动图形式化语义时序逻辑 XYZ/E 活动图线性时序逻辑语言逻辑语义 UML Activity Diagrams 形式化系统行为语义转换行为建模描述系统逻辑框架动态行为图结构控制流可表示程序性基础
	UML活动图描述工作流模型的执行语义期刊论文 OAI收割计算机研究与发展, 2005, 卷号: 42.0, 期号: 002, 页码: 300 作者: 赵志崑; 盛秋戬; 史忠植 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 工作流 UML活动图语义
	一个以活动为中心的软件过程建模工具的设计与实现学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 田浩收藏 \| 浏览/下载：15/0 \| 提交时间：2011/03/17 软件过程软件过程建模软件过程模型 UML活动图合理性检测 DOWSON框架