以物联网、区块链、大数据、人工智能、5G、边缘计算和云计算等新基建为特征的智能化时代已经来临,软件正在定义、实现和控制世界。软件本身的智能化,以及软件开发和质量保证技术的智能化控制刻不容缓。有软件定义实现的地方,一般都会有控制,特别是智能化软件,其中的反馈和优化本质上就是控制。软件控制论旨在探讨计算机软件领域与控制领域的交叉,跨学科研究,其核心科学问题是,如何建立软件行为的控制模型、设计方法和控制理论,对软件产品与过程进行有效、定量化的控制。软件控制论通过将软件(软件工程)问题归结为控制问题,以及将控制理论引入到软件领域,研究这两个领域的交叉与融合,从而达到分别发展这两个领域的作用,并共同服务于新时期技术进步。研究智能化时代的智能化软件和软件控制论对未来信息技术的持续发展具有重要意义。
《计算机研究与发展》与中国软件大会(ChinaSoft2021)合作征稿,计划于2022年3月出版“智能化软件与软件控制论”专题。本专题将收录国内外有关智能化软件与软件控制论研究领域创新性和突破性的高水平研究成果,深入探讨在智能化软件与软件控制论基础理论、关键技术、以及支撑平台等方面创新成果,并探讨相关成果在产业界的应用前景。读者群体包括软件工程、人工智能、服务计算、系统软件、形式化技术等相关领域的研究人员和专业工程师等。欢迎作者积极投稿。
一、征文范围(但不限于)
(1) 智能化软件中的控制问题;
(2) 软件控制的智能化问题;
(3) 研究对新一代信息技术下软件系统进行有效控制,提高和保障软件自主性、可信性和经济性;
(4) 结合新一代信息技术(特别是智能化技术的)现代软件控制论与应用;
(5) 如何形式化和定量化刻画智能化软件行为的反馈和自适应控制机制;
(6) 如何将控制原理和理论应用于改进智能化软件开发过程和控制智能化软件系统运行行为;
(7) 如何将软件工程原理和理论应用于智能化软件控制系统设计和综合;
(8) 如何为智能化软件工程和控制工程智能化建立统一的原理和理论框架;
(9) 以反馈控制、自适应控制和智能控制为基本手段,研究现代软件控制论中的若干问题,如:软件行为不确定性分析与建模、上下文感知的需求分析、软件体系结构设计与优化、软件测试、软件可靠性评估、软件老化问题、软件重构与演化、软件迭代开发过程等。
二、投稿要求
1. 论文应属于作者的科研成果,未在国内外公开发行的刊物或会议上发表,不存在一稿多投问题。作者在投稿时,需向编辑部提交版权转让协议。
2. 论文一律用word格式排版,格式体例参考近期出版的《计算机研究与发展》的要求(http://crad.ict.ac.cn/下载区域)。
3. 投稿和评审方式:本专题投稿论文需经过两轮投稿和评审、一次口头报告和质询。
a) 第一轮:投稿使用ChinaSoft2021会议系统(投稿网站请见:https://easychair.org/conferences/?conf=chinasoft2021),ChinaSoft2021“智能化软件与软件控制论”Track PC审稿,由会议通知评审结果,所有通过第一轮评审的稿件,进入第二轮;
b) 第二轮:要求稿件根据期刊评审意见修改论文并在期刊投稿网站提交修改稿,在ChinaSoft2021会议(2021年11月左右,西安)进行口头报告,接受责任编辑的口头质询,责任编辑根据期刊评审专家对修改稿的评审结果、质询结果给出稿件处理建议,由期刊终审确定是否录用。
三、重要日期
第一轮:会议论文投稿截稿时间:2021年8月30日
第一轮:会议审稿结果通知日期:2021年11月
第二轮:ChinaSoft2021报告日期:2021年11月
第二轮:终审结果通知日期:2021年12月
出版日期:2022年3月
四、特邀编委
聂长海 南京大学 changhainie@nju.edu.cn
孙昌爱 北京科技大学 casun@ustb.edu.cn
刘璘 清华大学 linliu@tsinghua.edu.cn
五、联系方式
编 辑 部:crad@ict.ac.cn 010-62620696,010-62600350
通信地址:北京2704信箱《计算机研究与发展》编辑部 100190
2021 CCF Chinasoft / CCF 中国软件大会