先进的科学和工程软件

软件工程是一门学科,采用工程方法开发大型软件向高生产率、低成本、可信赖的质量,控制开发进度[1]。软件科学支撑软件工程研究的正式属性和数学模型软件,严格、高效的软件开发的一般方法,软件建模的基本理论和软件工程实践[2]。

这个主题在前沿问题的目标计算机科学,软件(fcs)是研究和审查论文雷竞技rebat以及工业报告软件科学和工程的最新进展。这个特殊问题的范围不仅包括理论探索,正式的方法,智能数学,和在软件需求规范科学,而且实证研究在软件工程的各个方面从软件需求分析、架构、测试和验证,工具支持工业实践和过程。

潜在的贡献这一主题的研究主题包括但不限于以下:

•基础研究需求规格说明书等软件科学进步,自主软件代,正式的方法,新型智能数学,和基于ai的要求建模;
•实证研究在软件工程体系结构的发展,模型,比较编程语言,实时应用程序,过程,测试,和最佳实践;
•实时系统的软件实现的进步,关键任务系统、无人驾驶系统、无人驾驶车辆,认知机器人,自治系统,和机器学习系统;
•先进的智能系统等软件智能操作系统,智能的编译器、智能大数据操作系统,和智能软件知识体系;
•发展实证研究在上述类别的所有方面。


[1]y王(2007),软件工程基础:一个软件科学角度来看,CRC /奥尔巴赫出版物,纽约,美国,1580页。

[2]y王(2014)、软件科学:一般数学模型和正式的软件的特性,《高等数学与应用,3 (2),130 - 147。