机构

• 软件研究所 [9]
• 数学与系统科学研究院 [1]

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [6]
• 学位论文 [4]

发表日期

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

学科主题

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 双重软件体系结构描述框架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   软件体系结构分析与评价方法评述 期刊论文  OAI收割 计算机研究与发展, 2005, 卷号: 42, 期号: 7, 页码: 1247-1254 刘霞; 李明树; 王青; 周津慧   |  收藏  |  浏览/下载：11/0  |  提交时间：2010/07/05 软件体系结构描述  质量属性  软件体系结构分析与评价  体系结构描述语言   一种基于构件的软件体系结构求精方法及其应用 期刊论文  OAI收割 重庆师范学院学报(自然科学版), 2003, 卷号: 20, 期号: 2, 页码: 1-5 晏荣杰; 张广泉   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/29 软件体系结构  构件  形式化描述  求精  XYZ/E  基于构件  软件体系结构  方法及  应用  求精方法  形式化描述  时序逻辑语言  研究领域  描述语言  开发实例  基于行为  工程学科  风格   基于软件体系结构的Agent规约和演化 期刊论文  OAI收割 计算机研究与发展, 2002, 卷号: 39, 期号: 12, 页码: 1543-1549 詹剑锋; 程虎   |  收藏  |  浏览/下载：23/0  |  提交时间：2011/07/29 Agent  软件体系结构  软件体系结构描述语言  规约  演化  迁移  软件体系结构  演化  子类型关系  结构描述语言  类型化理论  组合  相互关联  实体迁移  扩充  结构配置  关系表达  构造过程  方法  表达能力  连接体  翻译器  多样性  包装器  组件  要素   基于XML的分布式软件体系结构研究 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001 张波 收藏  |  浏览/下载：12/0  |  提交时间：2011/03/17 软件体系结构  体系结构描述语言  构件  接口  互操作  Web应用   基于XYZ/E的软件体系结构描述及求精实例研究 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001 舒明 收藏  |  浏览/下载：16/0  |  提交时间：2011/03/17 软件体系结构  软件体系结构描述语言  线性时序逻辑  风格  逐步求精   可视化体系结构描述语言XYZ/ADL 期刊论文  OAI收割 软件学报, 2000, 卷号: 11, 期号: 8, 页码: 1024-1029 骆华俊; 唐稚松; 郑建丹   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/07/29 时序逻辑语言  软件体系结构  体系结构描述语言  组件  连接件  交互端  可视化  体系结构设计  时序逻辑语言  软件体系结构  结构描述语言  逐步过渡  统一框架  设计单元  静态语义  动态语义  连接件  交互端  组件  基础   XYZ/ADL中的软件体系结构开发 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000 周子毅 收藏  |  浏览/下载：15/0  |  提交时间：2011/03/17 软件体系结构  体系结构描述语言   可视化体系结构描述语言XYZ/ADL 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999 骆华俊 收藏  |  浏览/下载：23/0  |  提交时间：2011/03/17 XYZ系统  时序逻辑语言  软件体系结构  体系结构描述语言  组件  连接件  交互端  绑定  结构   客户／服务器风格的体系结构描述语言NEWCOM 期刊论文  OAI收割 计算机学报, 1998, 卷号: 21.0, 期号: 012, 页码: 1101-1111 作者:  刘;  赖辉;  金芝;  蒋爱军;  陆汝钤   |  收藏  |  浏览/下载：33/0  |  提交时间：2021/01/14 体系结构  描述语言  客户／服务器  NEWCOM语言  MIS