JournalTOCs

Science of Computer Programming
Journal Prestige (SJR): 0.3

Citation Impact (citeScore): 1
Number of Followers: 14

Hybrid journal (It can contain Open Access articles)
ISSN (Print) 0167-6423 - ISSN (Online) 0167-6423
Published by Elsevier

[2974 journals]

What makes a real change in software performance' An empirical study on
analyzing the factors that affect the triagement of performance change
points
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 22 November 2023Source: Science of Computer ProgrammingAuthor(s): Jie Chen, Ziyuan Zhang, Dongjin Yu, Haiyang Hu
Model Based Component Development and Analysis with ComMA
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 22 November 2023Source: Science of Computer ProgrammingAuthor(s): Ivan Kurtev, Jozef Hooman, Mathijs Schuts, Daan van der Munnik
Preface for “Selected papers from the 25th Ibero-American Conference on
Software Engineering (CIbSE 2022)”
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 17 November 2023Source: Science of Computer ProgrammingAuthor(s): Jose Luis de la Vara, Monalessa Barcellos, Marcela Genero, Renata Guizzardi
OnTrack: Reflecting on domain specific formal methods for railway designs
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 15 November 2023Source: Science of Computer ProgrammingAuthor(s): Phillip James, Faron Moller, Filippos Pantekis
An industrial experience report on Model-based, AI-enabled Proposal
development for an RFP/RFI
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 10 November 2023Source: Science of Computer ProgrammingAuthor(s): Padmalata Nistala, Asha Rajbhoj, Vinay Kulkarni, Sapphire Noronha, Ankit Joshi
Reasoning about Logical Systems in the Coq Proof Assistant
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 10 November 2023Source: Science of Computer ProgrammingAuthor(s): Conor Reynolds, Rosemary Monahan
Testing and incremental conformance testing of timed state machines
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 7 November 2023Source: Science of Computer ProgrammingAuthor(s): Aleksandr Tvardovskii, Khaled El-Fakih, Nina Yevtushenko
Translation Certification for Smart Contracts
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 7 November 2023Source: Science of Computer ProgrammingAuthor(s): Jacco O.G. Krijnen, Manuel M.T. Chakravarty, Gabriele Keller, Wouter Swierstra
Preface for the special issue on “Fundamental Approaches to Software
Engineering” (FASE 2022)
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 4 November 2023Source: Science of Computer ProgrammingAuthor(s): Marie-Christine Jakobs, Einar Broch Johnsen, Eduard Kamburjan, Manuel Wimmer
AnimUML: A practical tool for partial model animation and analysis
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 31 October 2023Source: Science of Computer ProgrammingAuthor(s): Frédéric Jouault, Valentin Besnard, Matthias Brun, Théo Le Calvar, Fabien Chhel, Mickaël Clavreul, Jérome Delatour, Maxime Méré, Matthias Pasquier, Ciprian Teodorov
Enhancing Test Reuse with GUI Events Deduplication and Adaptive Semantic
Matching
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 31 October 2023Source: Science of Computer ProgrammingAuthor(s): Shuqi Liu, Yu Zhou, Longbing Ji, Tingting Han, Taolue Chen
Preface for the special issue on NLBSE’22: Natural Language-based
Software to Support Software Engineering Processes
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 28 October 2023Source: Science of Computer ProgrammingAuthor(s):
Web Augmentation: A systematic mapping study
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 23 October 2023Source: Science of Computer ProgrammingAuthor(s): Iñigo Aldalur
An iterative approach for model-based requirements engineering in large
collaborative projects: A detailed experience report
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 23 October 2023Source: Science of Computer ProgrammingAuthor(s): Andrey Sadovykh, Bilal Said, Dragos Truscan, Hugo Bruneliere
A Formal Approach for the Correct Deployment of Cloud Applications
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 21 October 2023Source: Science of Computer ProgrammingAuthor(s): Amel Mammar, Meriem Belguidoum, Hocine Hiba
&rft.title=Science+of+Computer+Programming&rft.issn=0167-6423&rft.date=&rft.volume=">XACML2mCRL2: Automatic transformation of XACML policies into mCRL2
specifications
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 20 October 2023Source: Science of Computer ProgrammingAuthor(s): Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A.C. Willemse
TyphonML: Tool Support for Hybrid Polystores
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 16 October 2023Source: Science of Computer ProgrammingAuthor(s): Francesco Basciani, Juri Di Rocco, Ludovico Iovino, Alfonso Pierantonio
&rft.title=Science+of+Computer+Programming&rft.issn=0167-6423&rft.date=&rft.volume=">SolAR: Automated Test-Suite Generation for Solidity Smart Contracts
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 12 October 2023Source: Science of Computer ProgrammingAuthor(s): S.W. Driessen, D. Di Nucci, D.A. Tamburri, W.-J. van den Heuvel
&rft.title=Science+of+Computer+Programming&rft.issn=0167-6423&rft.date=&rft.volume=">Exploring Complex Models with Picto Web
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 10 October 2023Source: Science of Computer ProgrammingAuthor(s): Alfa Yohannis, Dimitris Kolovos, Antonio García-Domínguez
Program Generation Meets Program Verification: A Case Study on
Number-Theoretic Transform
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 6 October 2023Source: Science of Computer ProgrammingAuthor(s): Masahiro Masuda, Yukiyoshi Kameyama
Denotational and Operational Semantics for Interaction Languages :
application to trace analysis
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 5 October 2023Source: Science of Computer ProgrammingAuthor(s): Erwan Mahe, Christophe Gaston, Pascale Le Gall
Applying model-driven engineering to the domain of chatbots: The Xatkit
experience
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 2 October 2023Source: Science of Computer ProgrammingAuthor(s): Gwendal Daniel, Jordi Cabot
Lessons Learned from Applying Model-Driven Engineering in 5 Domains: The
Success Story of the MontiGem Generator Framework
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 29 September 2023Source: Science of Computer ProgrammingAuthor(s): Constantin Buschhaus, Arkadii Gerasimov, Jörg Christian Kirchhof, Judith Michael, Lukas Netz, Bernhard Rumpe, Sebastian Stüber
&rft.title=Science+of+Computer+Programming&rft.issn=0167-6423&rft.date=&rft.volume=">A monitoring tool for linear-time μHML
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 27 September 2023Source: Science of Computer ProgrammingAuthor(s): Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
Stochastic Formal Model of PI3K/mTOR Pathway in Alzheimer's Disease for
Drug Repurposing: An Evaluation of Rapamycin, LY294002, and NVP-BEZ235
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 6 September 2023Source: Science of Computer ProgrammingAuthor(s): Herbert Rausch Fernandes, Giovanni Freitas Gomes, Antonio Carlos Pinheiro de Oliveira, Sérgio Vale Aguiar Campos