机构

• 软件研究所 [10]
• 计算技术研究所 [3]
• 上海应用物理研究所 [1]

采集方式

• OAI收割 [14]

内容类型

• 期刊论文 [13]
• 学位论文 [1]

发表日期

• 2012 [1]
• 2008 [1]
• 2007 [1]
• 2005 [1]
• 2004 [3]
• 2003 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共14条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 The correspondence between the concepts in description logics for contexts and formal concept analysis 期刊论文  OAI收割 中国科学：信息科学（英文版）, 2012, 卷号: 55.0, 期号: 005, 页码: 1106 作者:  Ma Yue   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 形式概念分析  对应关系  描述逻辑  知识基础  背景模型  价值观念  逻辑语言  伽罗瓦   机读护照的卡上逻辑数据结构实现 学位论文  OAI收割 硕士, 上海应用物理研究所: 中国科学院上海应用物理研究所, 2008 张甦宁 收藏  |  浏览/下载：44/0  |  提交时间：2012/04/11 机读护照  公钥基础设施  逻辑数据结构  电子证书  数字签名  被动认证   双重软件体系结构描述框架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, 卷号: 42, 期号: 9, 页码: 1478-1484 朱雪阳; 唐稚松   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/07/28 UML  活动图  形式化语义  时序逻辑  XYZ/E  活动图  线性时序逻辑语言  逻辑语义  UML Activity Diagrams  形式化  系统行为  语义转换  行为建模  描述系统  逻辑框架  动态行为  图结构  控制流  可表示  程序性  基础   时态逻辑形式化描述并发系统性质 期刊论文  OAI收割 海军工程大学学报, 2004, 卷号: 16, 期号: 5, 页码: 2'10-13 肖美华; 薛锦云   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/07/29 形式化方法  并发系统  时态逻辑  模型检测  时态逻辑  形式化描述  系统性质  并发系统  状态迁移序列  形式化方法  逻辑描述  反应式  运用  语义  语法  应用  验证  模型  检测  基础   信息检索相关性理论的语义基础分析 期刊论文  OAI收割 计算机科学, 2004, 卷号: 31.0, 期号: 003, 页码: 1 作者:  杨志峰;  王斌;  李素建   |  收藏  |  浏览/下载：0/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 肖美华; 薛锦云; 化志章   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/07/29 程序设计模型  UNITY  形式语义  程序转换  Seuss  程序转换  证明系统  设计模型  结构模式  计算模型  程序映射  新策略  命令式  逻辑式  计算机  函数式  规则式  体系  能力  理论  基础  机理   可视化软件体系结构描述工具XYZ/ADL的设计与实现 期刊论文  OAI收割 重庆师范学院学报（自然科学版）, 2001, 卷号: 18, 期号: 2, 页码: 1-6 张广泉; 骆华俊; 郑建丹   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/29 时态逻辑  软件体系结构  体系结构描述工具  可视化  软件体系结构  描述工具  体系结构设计  模块化程序  逐步过渡  图形表示  设计方法  设计单元  求精方法  逻辑语言  动态行为  抽象层次  语言能  连接件  交互端  组件  框架  基础  规范   基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述 期刊论文  OAI收割 重庆师范学院学报(自然科学版), 2001, 卷号: 18, 期号: 3, 页码: 1-4 张广泉; 郑建丹; 舒明   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/07/29 时态逻辑语言  XYZ/E  软件体系结构  组件  连接件  逻辑语言  软件体系结构  结构研究  基本组件  连接件  描述体系  Temporal Logic Language  静态语义  结构风格  分层描述  动态语义  特征  基础  程序