机构

• 软件研究所 [14]

采集方式

• OAI收割 [14]

内容类型

• 期刊论文 [9]
• 学位论文 [5]

发表日期

• 2007 [1]
• 2006 [2]
• 2005 [1]
• 2003 [1]
• 2002 [1]
• 2001 [4]
• 更多

学科主题

筛选

浏览/检索结果: 共14条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 双重软件体系结构描述框架XYZ/ADL 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳   |  收藏  |  浏览/下载：29/0  |  提交时间：2011/07/01 软件体系结构  体系结构描述语言  双重描述框架  XYZ/E  时序逻辑  UML  活动图  状态图  形式语义  结构描述  框架  形式化方法  语义基础  图形语言  软件工程师  表示系统  体系结构设计  时序逻辑语言  软件开发过程  软件的可靠性  语言建模  形式语言  行为表示  前端  静态语义  结构框图  结构建模  基本概念Formal languages  Formal methods  Semantics  Software engineering  Software reliability  Tem   体系结构描述语言XYZ/ADL到UML的映射 期刊论文  OAI收割 计算机应用, 2006, 期号: 2, 页码: 468-471 陈琳琳; 戎玫; 张广泉   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/13 软件体系结构  形式化描述  可视化描述  XYZ/ADL  UML   基于链路分析法的复合隐蔽通道检测 期刊论文  OAI收割 计算机应用, 2006, 卷号: 26, 期号: 1, 页码: 81-83 华元彬; 蒋建春; 卿斯汉   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/13 数据隐藏  隐蔽通道  单一隐蔽通道  复合隐蔽通道  数据融合  链路分析法  数据融合技术  主机入侵检测  体系结构  检测方法  多主机  思想  设计  软件  描述  理论  道具   软件体系结构分析与评价方法评述 期刊论文  OAI收割 计算机研究与发展, 2005, 卷号: 42, 期号: 7, 页码: 1247-1254 刘霞; 李明树; 王青; 周津慧   |  收藏  |  浏览/下载：14/0  |  提交时间：2010/07/05 软件体系结构描述  质量属性  软件体系结构分析与评价  体系结构描述语言   一种基于构件的软件体系结构求精方法及其应用 期刊论文  OAI收割 重庆师范学院学报(自然科学版), 2003, 卷号: 20, 期号: 2, 页码: 1-5 晏荣杰; 张广泉   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/07/29 软件体系结构  构件  形式化描述  求精  XYZ/E  基于构件  软件体系结构  方法及  应用  求精方法  形式化描述  时序逻辑语言  研究领域  描述语言  开发实例  基于行为  工程学科  风格   基于软件体系结构的Agent规约和演化 期刊论文  OAI收割 计算机研究与发展, 2002, 卷号: 39, 期号: 12, 页码: 1543-1549 詹剑锋; 程虎   |  收藏  |  浏览/下载：26/0  |  提交时间：2011/07/29 Agent  软件体系结构  软件体系结构描述语言  规约  演化  迁移  软件体系结构  演化  子类型关系  结构描述语言  类型化理论  组合  相互关联  实体迁移  扩充  结构配置  关系表达  构造过程  方法  表达能力  连接体  翻译器  多样性  包装器  组件  要素   可视化软件体系结构描述工具XYZ/ADL的设计与实现 期刊论文  OAI收割 重庆师范学院学报（自然科学版）, 2001, 卷号: 18, 期号: 2, 页码: 1-6 张广泉; 骆华俊; 郑建丹   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/07/29 时态逻辑  软件体系结构  体系结构描述工具  可视化  软件体系结构  描述工具  体系结构设计  模块化程序  逐步过渡  图形表示  设计方法  设计单元  求精方法  逻辑语言  动态行为  抽象层次  语言能  连接件  交互端  组件  框架  基础  规范   基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述 期刊论文  OAI收割 重庆师范学院学报(自然科学版), 2001, 卷号: 18, 期号: 3, 页码: 1-4 张广泉; 郑建丹; 舒明   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/07/29 时态逻辑语言  XYZ/E  软件体系结构  组件  连接件  逻辑语言  软件体系结构  结构研究  基本组件  连接件  描述体系  Temporal Logic Language  静态语义  结构风格  分层描述  动态语义  特征  基础  程序   基于XML的分布式软件体系结构研究 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001 张波 收藏  |  浏览/下载：15/0  |  提交时间：2011/03/17 软件体系结构  体系结构描述语言  构件  接口  互操作  Web应用   基于XYZ/E的软件体系结构描述及求精实例研究 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001 舒明 收藏  |  浏览/下载：18/0  |  提交时间：2011/03/17 软件体系结构  软件体系结构描述语言  线性时序逻辑  风格  逐步求精