机构

• 软件研究所 [7]
• 计算技术研究所 [3]

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [10]

发表日期

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

学科主题

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于虚拟组织模型与Web服务的MAS平台 期刊论文  OAI收割 计算机工程, 2007, 卷号: 33, 期号: 20, 页码: 46-48 张树东; 廖乐健; 吕慧颖   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/07/01 Web服务  多智能体  虚拟组织  语义Web  虚拟组织  组织模型  Web服务  平台系统  Web Services  消息传递机制  异构智能体  模块的实现  管理和监控  注册管理  协同模型  体系结构  技术基础  电子商务  互联网  互操作  功能   双重软件体系结构描述框架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   UML活动图的时序逻辑语义 期刊论文  OAI收割 计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484 朱雪阳; 唐稚松   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/28 UML  活动图  形式化语义  时序逻辑  XYZ/E  活动图  线性时序逻辑语言  逻辑语义  UML Activity Diagrams  形式化  系统行为  语义转换  行为建模  描述系统  逻辑框架  动态行为  图结构  控制流  可表示  程序性  基础   OWL—S的形式语义 期刊论文  OAI收割 计算机科学, 2005, 卷号: 32.0, 期号: 007, 页码: 5 作者:  蒋运承;  史忠植   |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04 形式语义  OWL  Web服务  web服务  语义Web  研究现状  理论基础  服务提供   时态逻辑形式化描述并发系统性质 期刊论文  OAI收割 海军工程大学学报, 2004, 卷号: 16, 期号: 5, 页码: 2'10-13 肖美华; 薛锦云   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/07/29 形式化方法  并发系统  时态逻辑  模型检测  时态逻辑  形式化描述  系统性质  并发系统  状态迁移序列  形式化方法  逻辑描述  反应式  运用  语义  语法  应用  验证  模型  检测  基础   信息检索相关性理论的语义基础分析 期刊论文  OAI收割 计算机科学, 2004, 卷号: 31.0, 期号: 003, 页码: 1 作者:  杨志峰;  王斌;  李素建   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 信息检索系统  语义基础分析  信息载体  代数逻辑   语义Web的逻辑基础 期刊论文  OAI收割 中国科学：E辑, 2004, 卷号: 34.0, 期号: 010, 页码: 1123 作者:  史忠植;  董明楷;  蒋运承;  张海俊   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 语义Web  描述逻辑  DDL  知识表示  推理  动态  形式化  逻辑基础  存在  传统   UNITY与典型程序设计模型的比较 期刊论文  OAI收割 计算机工程与应用, 2003, 卷号: 39, 期号: 32, 页码: 52-54,104 肖美华; 薛锦云; 化志章   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/07/29 程序设计模型  UNITY  形式语义  程序转换  Seuss  程序转换  证明系统  设计模型  结构模式  计算模型  程序映射  新策略  命令式  逻辑式  计算机  函数式  规则式  体系  能力  理论  基础  机理   基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述 期刊论文  OAI收割 重庆师范学院学报(自然科学版), 2001, 卷号: 18, 期号: 3, 页码: 1-4 张广泉; 郑建丹; 舒明   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/07/29 时态逻辑语言  XYZ/E  软件体系结构  组件  连接件  逻辑语言  软件体系结构  结构研究  基本组件  连接件  描述体系  Temporal Logic Language  静态语义  结构风格  分层描述  动态语义  特征  基础  程序   可视化体系结构描述语言XYZ/ADL 期刊论文  OAI收割 软件学报, 2000, 卷号: 11, 期号: 8, 页码: 1024-1029 骆华俊; 唐稚松; 郑建丹   |  收藏  |  浏览/下载：23/0  |  提交时间：2011/07/29 时序逻辑语言  软件体系结构  体系结构描述语言  组件  连接件  交互端  可视化  体系结构设计  时序逻辑语言  软件体系结构  结构描述语言  逐步过渡  统一框架  设计单元  静态语义  动态语义  连接件  交互端  组件  基础