中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共6条，第1-6条

帮助

条数/页：排序方式：
	按功能搜索的遗产代码复用平台的实现学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2013 牛冬 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2013/05/31 动态方法等级静态文件分析语义拓展分词词根表
	双重软件体系结构描述框架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
	基于抽象解释的代码迷惑有效性比较框架期刊论文 OAI收割计算机学报, 2007, 卷号: 30, 期号: 5, 页码: 806-814 高鹰; 陈意云收藏 \| 浏览/下载：68/6 \| 提交时间：2011/07/01 抽象解释程序变换程序分析代码迷惑压平算法抽象解释代码迷惑有效性证明比较框架非语义算法实例描述静态分析变换技术保护软件应用剖析逆向环境程序Algorithms Computer software Mobile agents Program diagnostics Security of data Semantics Static analysis
	基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述期刊论文 OAI收割重庆师范学院学报(自然科学版), 2001, 卷号: 18, 期号: 3, 页码: 1-4 张广泉; 郑建丹; 舒明 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/07/29 时态逻辑语言 XYZ/E 软件体系结构组件连接件逻辑语言软件体系结构结构研究基本组件连接件描述体系 Temporal Logic Language 静态语义结构风格分层描述动态语义特征基础程序
	可视化体系结构描述语言XYZ/ADL 期刊论文 OAI收割软件学报, 2000, 卷号: 11, 期号: 8, 页码: 1024-1029 骆华俊; 唐稚松; 郑建丹 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2011/07/29 时序逻辑语言软件体系结构体系结构描述语言组件连接件交互端可视化体系结构设计时序逻辑语言软件体系结构结构描述语言逐步过渡统一框架设计单元静态语义动态语义连接件交互端组件基础
	算法语言L的设计与规式规范期刊论文 OAI收割计算机研究与发展, 1996, 卷号: 33, 期号: 4, 页码: 248 作者: 王岩冰; 张家重; 刘弘 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 算法语言具体文法抽象文法静态语义形式规范