Advances in Reliable Software Technologies: An Ada Perspective (SI: ARSTAP)

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.

Important dates

EVISE portal open for submissions: 1 May 2019
Submission deadline (firm): 1 July 2019
Notification to authors: 15 September 2019

For general information on how to submit papers to the JSA, authors should refer to the “Guide for Authors” link at https://www.journals.elsevier.com/journal-of-systems-architecture.

The authors of submissions destined to this Special Issue (SI) should use Elsevier’s editorial system at the journal website (https://www.evise.com/profile/api/navigate/JSA), under the “Submit Your Paper” link), selecting the “SI: ARSTAP” option as the type of the paper in the submission process.

The JSA has adopted the Virtual Special Issues model to speed up the publication process. As part of that, an SI paper is published in a regular issue as soon as it is accepted. On this account, authors are encouraged to submit papers as early as possible before the submission deadline.

Guest Editor
Tullio Vardanega
Department of Mathematics
University of Padua, Italy
Email: tullio.vardanega@unipd.it