王江

作品数：3被引量：14H指数：2
导出分析报告
供职机构：西安理工大学计算机科学与工程学院更多>>
发文主题：基于UML形式化方法统一建模语言软件形式化MIDP更多>>
发文领域：自动化与计算机技术经济管理更多>>
发文期刊：《大众科技》《现代电子技术》《计算机工程》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于UML的软件形式化需求分析与验证被引量：12
《计算机工程》2010年第13期30-33,共4页姚全珠 王江 
针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题,提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言(UML)模型的过程,及对该UML模型进行形...
关键词：需求分析 形式化方法 统一建模语言 需求验证 
基于J2ME技术的手机程序开发研究被引量：2
《现代电子技术》2006年第3期122-124,共3页王江 王华民 刘庆丰 
随着3G时代的逐步到来,集办公、娱乐、通讯等多功能于一体的智能化手机已成为各移动设备开发商的开发热点。J2ME平台被认为是最杰出的手机程序开发平台,J2ME应用程序可运行在不同制造商的不同设备上,真正体现了Sun公司所倡导的“writeon...
关键词：J2ME CLDC MIDP Singleton设计模式 OTA 
PCC在人工模拟降雨控制系统中的应用
《大众科技》2005年第10期84-85,共2页孙振 王华民 刘庆丰 王江 
文章介绍了如何根据人工模拟降雨系统的控制特点,利用先进的组态王监控软件和具有分时多任务操作系统及友好编程平台的可编程计算机控制器(PCC),设计人工模拟降雨控制系统。
关键词：PCC 控制 人工模拟降雨 组态王 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部