Special Issue on Advances in Reliable Software Technologies: An Ada Perspective (SI: ARSTAP)
• 大类 : 工程技术 - 4区
• 小类 : 计算机：硬件 - 4区
• 小类 : 计算机：软件工程 - 4区
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.