$2460
Article publishing charge
for open access
121 days
Review time
273 days
Submission to acceptance
7 days
Acceptance to publication
Editors-in-Chief
View full editorial boardArticles
Research articleAbstract onlyJuly 2024
https://doi.org/10.1016/j.scico.2024.103098
Research articleAbstract onlyJuly 2024
https://doi.org/10.1016/j.scico.2024.103105
Software publicationAbstract onlyJuly 2024
https://doi.org/10.1016/j.scico.2024.103089
EditorialNo accessJuly 2024
https://doi.org/10.1016/j.scico.2024.103096
Software publicationAbstract onlyJuly 2024
https://doi.org/10.1016/j.scico.2024.103095
Research articleAbstract onlyJuly 2024
https://doi.org/10.1016/j.scico.2024.103094
Research articleAbstract onlyJuly 2024
https://doi.org/10.1016/j.scico.2024.103097
More from Science of Computer Programming
Calls for papers
Advances in Formal Methods for Autonomous Systems
Guest editors: Matt Luckcuck, Marie Farrell, Mario Gleirscher, Maike Schwammberger - Submission deadline: 7 June 2024
This special issue invites authors from the previous five years of international workshop on Formal Methods for Autonomous Systems (FMAS), and new work that has not been presented at FMAS, to showcase the advances of formal methods for autonomous …
Submission deadline: 07 June 2024
Research software from the integrated Formal Methods (iFM) conference 2023
Guest editors: Paula Herber, Anna-Lena Lamprecht, Muhammad Osama, Anton Wijs,Submission deadline: 1 April 2024
Selected papers from the 19th International Conference on Formal Aspects of Component Software (FACS 2023)
Guest editors: Sung-Shik Jongmans, Javier CámaraSubmission deadline: 15 April 2024
Special issues and article collections
Formal Techniques for Safety-Critical Systems
Edited by Cyrille Artho, Peter Ölveczky
18 December 2023
Selected papers from the 25th Ibero-American Conference on Software Engineering (CIbSE 2022)
Edited by Jose Luis de la Vara, Monalessa Barcellos, Marcela Genero, Renata Guizzardi
30 October 2023
Special issue of the 16th international symposium on Theoretical Aspects of Software Engineering
Edited by Yamine Ait-Ameur, Florin Craciun
30 October 2023
Tools and Demonstrations in Model-Driven Engineering
Edited by Davide Di Ruscio, Jessie Galasso, Richard Paige
30 October 2023
Online ISSN: 1872-7964
Print ISSN: 0167-6423
Copyright © 2024 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.