开发环境

作品数:2102被引量:2698H指数:16
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:陶满意王宜怀汪惠芬熊光泽姚益平更多>>
相关机构:电子科技大学北京航空航天大学浙江大学清华大学更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家高技术研究发展计划国家科技重大专项国防科技技术预先研究基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机工程x
条 记 录,以下是1-10
视图:
排序:
基于差异性代码克隆的代码块补全提示方法被引量:1
《计算机工程》2020年第1期196-200,207,共6页殷康麒 吴鸣 王鹏程 徐云 
国家自然科学基金面上项目(61672480)
在软件编程中,通过代码补全提示可以提高编码效率,但目前缺乏有效的工具和手段从规模差异较大的相似代码中找到合适的候选代码。针对该问题,基于差异性代码克隆技术设计一种新的代码块补全提示方法。通过改进基于滑动窗口和带误匹配索...
关键词:代码补全提示 代码克隆 特征提取 聚类 编码 集成开发环境 
基于STP方法的SCADE模型形式化验证框架被引量:3
《计算机工程》2019年第10期70-77,共8页林荣峰 施健 朱晏庆 沈怡颹 周宇 
国家部委基金
高安全性应用开发环境(SCADE)的形式化验证组件Design Verifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥有复杂时序性质的安全需求。为解决该问题,构建一种SCADE状态机的时序性质验证框架,将SCADE模型转换成NuSM...
关键词:航天器系统 形式化验证 高安全性应用开发环境 安全攸关领域 模型检查 时序性质 
基于调试器的通用Flash在线编程系统被引量:2
《计算机工程》2014年第11期46-49,共4页蒋龙 刘兵 罗小华 
"核高基"重大专项"高性能嵌入式CPU关键技术研究"(2010ZX01030-001-001-002)
在嵌入式系统中,Flash是经常使用的只读存储方式。针对目前Flash在线编程接口形式较多、软件通用性不强的现状,利用嵌入式调试技术实现一种通用Flash在线编程系统。通过定义特定Flash在线编程驱动程序封装不同Flash在线编程细节,并在基...
关键词:嵌入式系统 FLASH在线编程 调试器 ECLIPSE插件 集成开发环境 软件复用 
面向RTEMS的嵌入式软件集成开发环境被引量:3
《计算机工程》2009年第4期41-43,共3页李曦 张飞 时正 吴晓丹 
教育部高校博士点基金资助项目(20050358040);安徽省自然科学基金资助项目(070412030)
实现面向RTEMS的嵌入式软件集成开发环境,提高嵌入式应用程序的可靠性和开发效率。在编译过程中添加缓冲区溢出动态检测模块,从而在程序运行过程中检测到缓冲区溢出,提高了程序可靠性。利用插桩技术实现远程调试环境,结合能对RTEMS进行...
关键词:可靠性 交叉编译 远程调试 嵌入式系统 集成开发环境 
交叉开发环境中的目标机代理设计被引量:7
《计算机工程》2007年第2期277-279,共3页温利娜 谢彬 李连云 
当进行嵌入式应用开发时,需要利用宿主机开发环境中的多种工具,例如交叉编译器、远程调试器、命令解析器和实时资源浏览器。不同的主机端工具需要支持主机-目标机通信,并会产生许多不一致性,使得目标系统的设计变得相当复杂。该文提出...
关键词:目标机代理 远程调试 交叉开发环境 
嵌入式系统界面设计工具在开发环境中的实现
《计算机工程》2006年第5期277-279,共3页朱红英 朱培彦 施刚 陈涵生 
论述了图形开发工具Uid的设计实现及功能特点,介绍了轻量级的图形函数库在嵌入式应用中的作用,讨论并提出了Uid在开发环境中的集成方法。使用Uid可以简单方便地实现图形应用中用户界面的开发与设计,将嵌入式图形应用程序开发者从繁复的...
关键词:图形函数库 UID 集成 
面向VxWorks的嵌入式软件集成开发环境研究被引量:6
《计算机工程》2006年第3期55-56,59,共3页王立泽 刘斌 杨顺昆 颜林 
实现了一种嵌入式软件集成开发环境,完成面向VxWorks应用程序的开发,包括源代码的编辑、编译、链接、下载、调试等一系列功能。原理是以宿主—目标机的方式,用交叉编译器编译链接源代码,形成目标代码,用RPC方法实现下载功能,并通过远程...
关键词:嵌入式软件 集成开发环境 交叉编译 远程调试 
基于MaSE方法的业务流程协议分析被引量:2
《计算机工程》2005年第3期207-209,212,共4页邓斌斌 顾绍元 王小平 
国家自然科学基金资助项目(70171016)
介绍了MaSE方法及其开发环境agentTool,在此基础上为一个汽车修理流程的请求服务协议建模,并检验了该模型的有效性。最后在JADE平台上分析了该协议的模拟结果。
关键词:协议分析 开发环境 请求 建模 平台 模型 模拟 业务流程 服务协议 有效性 
BEA为企业创建WebServices与SOA拔除障碍
《计算机工程》2004年第12期F004-F004,共1页
BEA系统有限公司(Nasdaq:BEAS)是全球领先的基础件(Application Infrastructure)公司,为全球15000余家客户提供企业级软件基础,其中包括《财富》全球500强公司中的本部分公司,近日发布EPR(Enterprise Portal Rationalization,企业...
关键词:BEA系统有限公司 WEB SERVICES SOA 开发环境 
某武器装备故障诊断专家系统的设计与实现被引量:13
《计算机工程》2004年第23期121-122,170,共3页李鸣 李辉 高娜 魏震生 
以Visual C++6.0为开发环境,ACCESS2000为数据库结构形式,ADO为数据库访问技术,针对某武器装备开发了故障诊断专家系统平台。介绍了专家系统的具体实现过程,对基于规则、基于案例、基于模型以及混合推理的推理机制进行了研究。
关键词:基于案例 基于规则 C++6.0 数据库访问技术 推理机制 ADO 开发环境 实现过程 数据库结构 形式 
检索报告 对象比较 聚类工具 使用帮助 返回顶部