您的位置： 专家智库 > >

石文渊

作品数：3 被引量：1H指数：1
供职机构：国防科学技术大学计算机学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 3篇自动化与计算...

主题

  • 2篇符号表
  • 1篇形式化
  • 1篇形式化规范
  • 1篇异常处理
  • 1篇数据库
  • 1篇数据库触发器
  • 1篇内存
  • 1篇内存池
  • 1篇编译器
  • 1篇PL/SQL
  • 1篇ASE
  • 1篇ECA
  • 1篇触发器
  • 1篇X
  • 1篇-B

机构

  • 3篇国防科学技术...

作者

  • 3篇石文渊
  • 2篇阳国贵
  • 2篇吴妍
  • 1篇廖巍
  • 1篇晏庆

传媒

  • 1篇计算机工程
  • 1篇兵工自动化

年份

  • 1篇2006
  • 2篇2005
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
形式化规范测试模板框架的研究
2005年
采用基于形式规范的测试模板框架(TTF)可使测试规范通用化。测试规范使用基于模型的规范语言,由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息。并使用结构法建立测试模板的层次,简化测试数据的导出,确定测试功能单元的有效输入空间,再细分为要求的子集或域,以得到最终测试数据模板。
吴妍阳国贵石文渊晏庆
关键词：形式化规范
X-Base PL/SQL异常处理的设计与实现
2006年
X-Base PL/SQL是一种过程式数据库编程语言,常用于数据库服务器端应用程序的开发。该文讨论了X-Base PL/SQL引擎中异常处理模块的设计思想和实现技术。鉴于Oracle数据库管理系统是数据库产品事实上的标准,还有其在全球的广泛应用,X-Base PL/SQL需要兼容Oracle PL/SQL 8i的异常处理机制。
石文渊阳国贵廖巍吴妍
关键词：符号表
PL/SQL引擎若干关键技术的研究与实现
X-BASE数据库管理系统是我军具有自主知识产权的第一个安全数据库管理系统。它已经取得接入认证、角色定义、数据存储传输加密等成果，达到B2级安全水平。数据库技术和应用需求的发展非常快，X-BASE在很多方面都暴露出了不足...
石文渊
关键词：编译器符号表内存池ECA数据库触发器
全选 清除 导出
共1页<1>
聚类工具0