机构

• 软件研究所 [20]
• 计算技术研究所 [3]
• 新疆理化技术研究所 [1]
• 遥感与数字地球研究所 [1]
• 沈阳自动化研究所 [1]

采集方式

• OAI收割 [26]

内容类型

• 期刊论文 [22]
• 学位论文 [3]
• 会议论文 [1]

发表日期

• 2013 [1]
• 2011 [2]
• 2010 [1]
• 2008 [1]
• 2007 [2]
• 2006 [6]
• 更多

学科主题

筛选

浏览/检索结果: 共26条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 现代烟草农业地理信息系统需求形式化描述研究 期刊论文  OAI收割 中国烟草科学, 2013, 期号: 4, 页码: 88-92 邵小东; 蒋样明; 宋文峰; 黄坤 收藏  |  浏览/下载：14/0  |  提交时间：2015/01/05 烟草地理信息  GIS  需求工程  形式化描述  Alloy   高安全级信息系统中的特权控制机制及其模型研究 会议论文  OAI收割 2011年第五届中国可信计算与信息安全学术会议(CTCIS2011), 贵阳, 2011 陈亚莎; 赵勇; 刘燕; 沈昌祥   |  收藏  |  浏览/下载：35/0  |  提交时间：2013/10/08 特权管理  形式化描述  安全模型   高安全级信息系统中的特权控制机制及其模型研究 期刊论文  OAI收割 山东大学学报(理学版), 2011, 期号: 9, 页码: 57-60 陈亚莎; 赵勇; 刘燕; 沈昌祥 收藏  |  浏览/下载：25/0  |  提交时间：2011/10/10 特权管理  形式化描述  安全模型   多语种构件模型的研究与实现 期刊论文  OAI收割 计算机工程与应用, 2010, 期号: 14, 页码: 143-147 作者:  汪漪;  李皓;  李晓;  周俊林;  王磊 收藏  |  浏览/下载：19/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 朱雪阳   |  收藏  |  浏览/下载：30/0  |  提交时间：2011/07/01 软件体系结构  体系结构描述语言  双重描述框架  XYZ/E  时序逻辑  UML  活动图  状态图  形式语义  结构描述  框架  形式化方法  语义基础  图形语言  软件工程师  表示系统  体系结构设计  时序逻辑语言  软件开发过程  软件的可靠性  语言建模  形式语言  行为表示  前端  静态语义  结构框图  结构建模  基本概念Formal languages  Formal methods  Semantics  Software engineering  Software reliability  Tem   模式匹配问题的描述框架与算法模型 期刊论文  OAI收割 模式识别与人工智能, 2006, 卷号: 19, 期号: 6, 页码: 715-721 张治; 车皓阳; 施鹏飞   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/13 模式匹配  同态  模式同态  模式匹配  匹配问题  数学描述  框架  代数理论  结构  证明模式  映射关系  研究模式  算法模型  数学理论  数学基础  求解模式  建立模式  等价关系  形式化  应用  归约   需求驱动的Web服务建模及其验证:一个基于本体的方法 期刊论文  OAI收割 中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/13 Web服务  环境本体  自动组合  π演算  形式化验证  需求驱动  Web服务  建模  验证算法  本体  组合模型  环境变化  能力描述  进程表达式  转换机制  验证方法  可满足性  操作  形式化  概念化  π演算  语义  行为  框架  交互   一种基于属性证书和角色的访问控制模型 期刊论文  OAI收割 微电子学与计算机, 2006, 卷号: 23, 期号: 11, 页码: 143-145,148 张可翔; 谢冬青; 冷健   |  收藏  |  浏览/下载：24/0  |  提交时间：2011/07/13 面向对象  属性证书  职责分离  PKI  属性证书  角色的访问控制  访问控制模型  Attribute Certificate  面向对象  授权访问控制  形式化描述  职责分离  控制方法  保护资源  安全系统  管理