工学 >>> 计算机科学技术 >>> 计算机软件 >>> 软件开发环境与开发技术 >>>
搜索结果: 1-15 共查到知识库 软件开发环境与开发技术相关记录549条 . 查询时间(3.64 秒)
新疆双语教学软件平台研发与应用。
对维哈柯语言文字处理技术的独特性及复杂性开展了系统研究,攻克了复杂文本处理等多项基础性和共性核心技术,自主研发出系列维哈柯文系统软件、工具软件和应用软件产品,创建了维哈柯软件开发的工程化技术支撑体系,并制定了相关维哈柯文信息技术标准。系列成果填补了多项国内外空白,在新疆各行各业得到广泛应用,缩小了民族间“数字鸿沟”,显著推动了维哈柯文信息处理领域的技术进步,为新疆国民经济和社会信息化提供了有力支撑...
深圳市软件行业协会章程。
近日,中国科学院软件研究所软件发展研究部智能化软件系统工程团队与中国科学院大学等单位研究人员合作,在代码审查意见自动生成方法研究方面取得进展。该研究提出了基于代码审查标记和预训练模型的代码审查意见自动生成方法,能够高效地对代码片段自动生成有意义的代码审查意见,帮助开发人员提高代码质量,缓解现有软件开发过程中严重依赖少数高水平程序员进行代码审查的难题,为提升软件开发过程中代码审查自动化能力起到重要支...
开源生态“投毒”攻击是指攻击者利用软件供应商与最终用户之间的信任关系,在合法软件的开发、传播和升级过程中进行劫持或篡改,从而达到非法目的的攻击类型。许多开源软件存储库在设计时强调方便快捷,忽略恶意代码检测机制,导致开源生态“投毒”攻击现象愈加严重。
Popularity and diverse use of 3D city models has increased exponentially in the past few years, providing a more realistic impression and understanding of cities. Often, 3D city models are created by ...
We introduce exotypes, user-defined types that combine the flexibility of meta-object protocols in dynamically-typed languages with the performance control of low-level languages. Like objects in dyna...
Application scalability can be significantly impacted by node level performance variability in HPC. While previous studies have demonstrated the impact of one source of variability,OS noise, in messag...
The x86-64 ISA sits at the bottom of the software stack of most desktop and server software. Because of its importance,many software analysis and verification tools depend, either explicitly or implic...
This paper studies the effectiveness of accomplishing high-level tasks with a minimum of manual annotation and good feature rep-resentations for medical images. In medical image analysis, objects like...
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easily render the error ch...
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presents a novel framework ...
Software testing is well-recognized as a crucial part of the modern software development process. However, manual testing is labor intensive and often fails to produce impressive coverage results. Ran...
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive programs. We used KLEE to...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...