机构

• 软件研究所 [18]
• 计算技术研究所 [3]
• 地理科学与资源研究所 [1]
• 新疆理化技术研究所 [1]
• 自动化研究所 [1]

采集方式

• OAI收割 [24]

内容类型

• 期刊论文 [19]
• 学位论文 [4]
• 中文期刊论文 [1]

发表日期

• 2024 [1]
• 2014 [1]
• 2012 [1]
• 2010 [2]
• 2008 [1]
• 2007 [5]
• 更多

学科主题

• 计算机科学技术::人... [1]

筛选

浏览/检索结果: 共24条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 结构启发的神经语义解析方法研究 学位论文  OAI收割 2024 作者:  张翔   |  收藏  |  浏览/下载：21/0  |  提交时间：2024/06/26 自然语言理解  神经语义解析  形式化语义表示  组合泛化   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   基于PAR的排序算法自动生成研究 期刊论文  OAI收割 软件学报, 2012, 卷号: 23, 期号: 9, 页码: 2248-2260 石海鹤; 薛锦云   |  收藏  |  浏览/下载：12/0  |  提交时间：2013/09/17 排序算法  自动生成  领域特定语言  形式化模型  PAR方法   SRL→Radl生成系统及其相关理论研究 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2010 王昌晶   |  收藏  |  浏览/下载：13/0  |  提交时间：2012/06/20 结构化需求语言  形式化软件规约  生成系统  范畴论  规约相对正确性   多语种构件模型的研究与实现 期刊论文  OAI收割 计算机工程与应用, 2010, 期号: 14, 页码: 143-147 作者:  汪漪;  李皓;  李晓;  周俊林;  王磊 收藏  |  浏览/下载：22/0  |  提交时间：2012/11/29 多语种  构件模型  构件描述语言  多语种构件的形式化描述语言(MLCDL)   基于代数的软件过程建模系统的设计与实现 期刊论文  OAI收割 计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539 杨国伟; 杨秋松; 翟健; 袁峰   |  收藏  |  浏览/下载：26/0  |  提交时间：2011/06/10 软件过程建模  多元π演算  ASPMS系统  形式化分析  验证  代数  软件过程建模语言  建模系统  设计  软件开发过程  易于理解  表示方式  表达能力  图形化  形式化语义  组织  生产质量  开发效率  π演算  模型  描述  矛盾   通信协议的实体行为描述语言CPEBSDL 期刊论文  OAI收割 计算机研究与发展, 2007, 期号: 第11期, 页码: 1839~1848页 作者:  范 昊;  吴哲辉   |  收藏  |  浏览/下载：18/0  |  提交时间：2010/10/13 协议描述语言  行为序列  形式化方法  Lapd协议  算法   双重软件体系结构描述框架XYZ/ADL 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳   |  收藏  |  浏览/下载：31/0  |  提交时间：2011/07/01 软件体系结构  体系结构描述语言  双重描述框架  XYZ/E  时序逻辑  UML  活动图  状态图  形式语义  结构描述  框架  形式化方法  语义基础  图形语言  软件工程师  表示系统  体系结构设计  时序逻辑语言  软件开发过程  软件的可靠性  语言建模  形式语言  行为表示  前端  静态语义  结构框图  结构建模  基本概念Formal languages  Formal methods  Semantics  Software engineering  Software reliability  Tem   算法程序变换研究与进展 期刊论文  OAI收割 计算机科学, 2007, 卷号: 34, 期号: 11, 页码: 232-238 石海鹤; 石海鹏; 郑宇军; 薛锦云   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/07/01 算法程序变换  自动化  形式化方法  算法设计  算法程序  程序变换  软件自动化  程序开发  设计方法学  程序的可靠性  支撑工具  研究方向  相关概念  适用领域  生产效率  设计能力  科学领域  计算机  语言  课题  分类   基于DTE策略的安全域隔离Z形式模型 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 11, 页码: 1881-1888 卿斯汉; 李丽萍; 何建波; 沈晴霓   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/01 安全域隔离  信息流  DTE  可信管道  形式化  策略  安全域  域隔离  形式模型  系统安全性  形式定义  隔离技术  形式分析方法  信息流分析  验证  系统状态  可信系统  建模问题  安全状态  安全性质  安全目标  不变量  语言  基础Formal languages  Magnetic domains  Query languages  Servers  Specifications  Verification