Special Issue on Advances in Reliable Software Technologies: An Ada Perspective (SI: ARSTAP)
摘要截稿:
全文截稿: 2019-07-01
影响因子: 2.552
期刊难度:
CCF分类: B类
中科院JCR分区:
• 大类 : 计算机科学 - 2区
• 小类 : 计算机:硬件 - 2区
• 小类 : 计算机:软件工程 - 2区
Overview
While receiving much less credit than it deserves, the Ada programming language has made – and continues to make – numerous contributions to the production of reliable software. Common wisdom had it in the past that the quest for development rigor and enforcement checks in software production pertain to niche application domains exclusively. More recently, however, the unrelented march toward increased autonomy in software infrastructures for production, social, and professional application use has caused those needs to attain considerably more traction.
The conference series on reliable software technologies promoted by Ada-Europe, which celebrates its 24th edition in June 2019, has established itself as a recognized forum for researchers, practitioners and providers interested in those themes. The primary goal of the conference is to favour contact and exchange across multiple-language perspectives, with open-minded hosting by the Ada community, in the intent that participants and proceedings readers may benefit from genuine technical and scientific contributions. The citation count and the chapter downloads from the proceedings of the conference series provide substantive evidence of that value.
In anticipation of the year 2020, which will mark the 25th edition of the conference, this Special Issue of the JSA makes a retrospective of the best papers of the last three proceedings volumes (2019, 2018, 2017), to reward the respective authors with the wider visibility that their work deserve, and to allow a larger readership to appreciate their value.
The authors of those best papers are required to extend their already published manuscript with at least 30% worth of original material, clearly highlighted in a cover letter accompanying the submission.