石文渊

作品数：2被引量：0H指数：0
导出分析报告
供职机构：国防科学技术大学计算机学院更多>>
发文主题：符号表ECA编译器内存池数据库触发器更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《兵工自动化》《计算机工程》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
X-Base PL/SQL异常处理的设计与实现
《计算机工程》2006年第15期72-74,共3页石文渊 阳国贵 廖巍 吴妍 
X-Base PL/SQL是一种过程式数据库编程语言,常用于数据库服务器端应用程序的开发。该文讨论了X-Base PL/SQL引擎中异常处理模块的设计思想和实现技术。鉴于Oracle数据库管理系统是数据库产品事实上的标准,还有其在全球的广泛应用,X-Base...
关键词：符号表 异常处理器 PL/SQL引擎 异常传播 
形式化规范测试模板框架的研究
《兵工自动化》2005年第4期62-64,共3页吴妍 阳国贵 石文渊 晏庆 
采用基于形式规范的测试模板框架(TTF)可使测试规范通用化。测试规范使用基于模型的规范语言,由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息。并使用结构法建立测试模板的层次,简化测试数据的导出,确定测试功能单元的有...
关键词：测试规范 测试模板框架 形式化规范 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部