王文涛

作品数：2被引量：1H指数：1
导出分析报告
供职机构：中国科学技术大学更多>>
发文主题：编译器逻辑错误契约式设计ECN队列管理更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《自动化学报》《测控技术》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种Java平台上契约式语言的设计与实现被引量：1
《测控技术》2008年第1期81-84,共4页刘振安 王文涛 
针对游戏机器人开发平台在图形编程过程中可能出现的错误,提出了一种基于契约式设计思想的程序设计语言扩展方式。它为Java语言提供了契约式设计的支持,能帮助本平台的用户发现程序中存在的逻辑上或者设计上的错误,提供改正错误的手段。
关键词：契约式设计 编译器 语法分析 逻辑错误 
智能化图象数据库系统GBASE的模式设计
《自动化学报》1990年第2期128-133,共6页陈涛 吴健康 王文涛 
国家自然科学基金
知识化图象数据库系统近年来引起了人们的研究兴趣,表现出了广泛的应用前景。本文介绍一种知识化图象数据库管理系统GBASE的模式设计,它将传统的关系模式加以扩充,使之能容许框架知识表达的抽象数据类型(ADTs),增强了关系数据库系统的...
关键词：数据库 图象处理 模式设计 智能化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部