机构

• 软件研究所 [6]

采集方式

• OAI收割 [6]

内容类型

• 期刊论文 [4]
• 会议论文 [2]

发表日期

• 2014 [1]
• 2011 [3]
• 2007 [1]
• 2002 [1]

学科主题

筛选

浏览/检索结果: 共6条，第1-6条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康   |  收藏  |  浏览/下载：32/0  |  提交时间：2014/12/16 结构化需求语言  形式化软件规约  自动生成系统  高可靠  范畴论语义  structural requirement language  formal software specification  automatic generation system  high reliability  category semantics   decidable temporal dynamic description logic 期刊论文  OAI收割 Ruan Jian Xue Bao/Journal of Software, 2011, 卷号: 22, 期号: 7, 页码: 1524-1537 Chang Liang; Shi Zhong-Zhi; Gu Tian-Long; Wang Xiao-Feng   |  收藏  |  浏览/下载：30/0  |  提交时间：2013/10/08 Algorithms  Computability and decidability  Data description  Formal languages  Knowledge representation  Semantic Web  Semantics  User interfaces   extending logic programs with description logic expressions for the semantic web 会议论文  OAI收割 10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, October 23 Shen Yi-Dong; Wang Kewen   |  收藏  |  浏览/下载：22/0  |  提交时间：2013/10/08 Atoms  Data description  Formal languages  Logic programming  Ontology  Semantic Web  Semantics  User interfaces   时间相关密码协议逻辑及其形式化语义 期刊论文  OAI收割 软件学报, 2011, 卷号: 22, 期号: 3, 页码: 534-557 雷新锋; 刘军; 肖军模   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/10/10 密码协议  时间相关  谓词模态逻辑  形式化语义Cryptography  Formal logic  Semantics   双重软件体系结构描述框架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   validating objected-oriented prototype of real-time systems with timed automata 会议论文  OAI收割 13th IEEE International Workshop on Rapid System Prototyping, DARMSTADT, GERMANY, JUL 01-03, Shu GQ; Li C; Wang Q; Li MS   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/29 FORTS  UML  Unified Modeling Language  case study  constraint solving  formal semantics  formal specification  model checking  object-oriented real-time system development  object-oriented software validation  sequence diagram  software prototyping  timed