王咏

作品数：7被引量：8H指数：1
导出分析报告
供职机构：温州师范学院更多>>
发文主题：软件工程形式化研究事态应用软件INTERNET更多>>
发文领域：自动化与计算机技术哲学宗教更多>>
发文期刊：《凉山大学学报》《计算机工程与应用》《计算机时代》《计算机科学》更多>>
-
在结果中检索

检索结果分析

主题关系类型

  • 发文主题
  • 被引主题
  • 引证主题
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
排序：
应用软件
查看相关作品
作品数：14067被引量：9117H指数：28
相关主题：计算机辅助设计 中文 图象处理 教程 办公自动化
相关领域：自动化与计算机技术
形式化研究
查看相关作品
作品数：116被引量：192H指数：6
相关主题：形式化 形式化方法 定理证明 Π演算 软件体系结构
相关领域：自动化与计算机技术
形式化
查看相关作品
作品数：5172被引量：11555H指数：35
相关主题：形式化方法 形式化验证 形式化描述 形式化分析 安全协议
相关领域：自动化与计算机技术 文化科学
软件开发
查看相关作品
作品数：27540被引量：35244H指数：42
相关主题：功能模块 计算机软件开发 软件开发技术 硬件设计 计算机
相关领域：自动化与计算机技术
软件工程
查看相关作品
作品数：12637被引量：21237H指数：41
相关主题：软件工程专业 软件开发 面向对象 计算机 统一建模语言
相关领域：自动化与计算机技术
事态
查看相关作品
作品数：625被引量：676H指数：10
相关主题：防盗安全门 信息处理器 汉语 武力攻击 法律
相关领域：政治法律 文化科学
WEB
查看相关作品
作品数：20691被引量：47752H指数：50
相关主题：基于WEB SERVICE 数据库 SERVICES INTERNET
相关领域：自动化与计算机技术
视力
查看相关作品
作品数：27855被引量：30858H指数：49
相关主题：保护视力 视力下降 近视 视力障碍 视力表
相关领域：医药卫生
形式化方法
查看相关作品
作品数：864被引量：2370H指数：18
相关主题：形式化 安全协议 形式化验证 软件开发 B方法
相关领域：自动化与计算机技术
开发方法
查看相关作品
作品数：1708被引量：4255H指数：24
相关主题：软件开发方法 存储介质 软件开发 系统开发方法 电子设备
相关领域：自动化与计算机技术
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部