default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 230

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 230, August 2023

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/LiuMYL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LiuMYL23
Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu:
Vincent: Green hot methods in the JVM. 102962

Special issue on Software Tools at 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/GobertMC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GobertMC23
Maxime Gobert, Loup Meurice, Anthony Cleve:
Modeling, manipulating and evolving hybrid polystores with HyDRa. 102972

Special issue on Tools and Demonstrations in Model-Driven Engineering

- view
  authority control:
- export record
  dblp key:
  - journals/scp/BucchiaroneSPBCCG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BucchiaroneSPBCCG23
Antonio Bucchiarone, Maxime Savary-Leblanc, Xavier Le Pallec, Jean-Michel Bruel, Antonio Cicchetti, Jordi Cabot, Sébastien Gérard:
Gamifying model-based engineering: The PapyGame tool. 102974

Special issue on Selected Software Artifacts from the Papers of DisCoTec 2022 - 17th International Federated Conference on Distributed Computing Techniques

- view
  authority control:
- export record
  dblp key:
  - journals/scp/GhoshA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GhoshA23
Bineet Ghosh, Étienne André:
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties. 102976

Regular articles

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BernardezPPTJR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BernardezPPTJR23
Beatriz Bernárdez, José Ignacio Panach, José Antonio Parejo, Amador Durán Toro, Natalia Juristo, Antonio Ruiz-Cortés:
An empirical study to evaluate the impact of mindfulness on helpdesk employees. 102977
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ChondamrongkulS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ChondamrongkulS23
Nacha Chondamrongkul, Jing Sun:
Software evolutionary architecture: Automated planning for functional changes. 102978

Special issue on Selected papers from the 25th Ibero-American Conference on Software Engineering (CIbSE 2022)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/GaleanoMGC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GaleanoMGC23
Iris Galeano, Mauricio Merín, Magalí González, Luca Cernuzzi:
A methodological approach for mobile applications development: MethApp4Mob. 102986

Special issue of the 16th international symposium on Theoretical Aspects of Software Engineering

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HasratJLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HasratJLS23
Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
A toolchain for domestic heat-pump control using Uppaal Stratego. 102987

Special issue on Software Product Line Engineering Tools at 25th International Systems and Software Product Line Conference (SPLC 2021)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/LeeK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LeeK23
Jaejoon Lee, Tomoji Kishi:
Preface for the special issue on tool papers of the 25^th International Systems and Software Product Line Conference (SPLC 2021). 102988

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/SinghS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SinghS23
Robbert Gurdeep Singh, Christophe Scholliers:
Gaiwan: A size-polymorphic typesystem for GPU programs. 102989

Special issue on SBST'22: Search-Based Software Engineering - Tools

- view
  authority control:
- export record
  dblp key:
  - journals/scp/HumeniukKA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HumeniukKA23
Dmytro Humeniuk, Foutse Khomh, Giuliano Antoniol:
AmbieGen: A search-based framework for autonomous systems testing. 102990

Special issue Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/CamposM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CamposM23
Sérgio Vale Aguiar Campos, Marius Minea:
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021). 102991

Special issue of the 16th international symposium on Theoretical Aspects of Software Engineering

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LarsenMSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LarsenMSS23
Kim G. Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba:
AllSynth: A BDD-based approach for network update synthesis. 102992

Special issue on Functional and Logic Programming (Selected papers from FLOPS 2022)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/HirataMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HirataMS23
Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato:
Program logic for higher-order probabilistic programs in Isabelle/HOL. 102993

Special issue on NLBSE'22: Natural Language-based Software to Support Software Engineering Processes

- view
  authority control:
- export record
  dblp key:
  - journals/scp/MoharilS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MoharilS23
Ambarish Moharil, Arpit Sharma:
TABASCO: A transformer based contextualization toolkit. 102994

Special issue on Selected Software Artifacts from the Papers of DisCoTec 2022 - 17th International Federated Conference on Distributed Computing Techniques

- view
  authority control:
- export record
  dblp key:
  - journals/scp/RenkinSDP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RenkinSDP23
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet:
The Mealy-machine reduction functions of Spot. 102995

Special issue on SBST'22: Search-Based Software Engineering - Tools

- view
  authority control:
- export record
  dblp key:
  - journals/scp/KlikovitsCCA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KlikovitsCCA23
Stefan Klikovits, Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini:
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing. 102996

Special issue on Selected Software Artifacts from the Papers of DisCoTec 2022 - 17th International Federated Conference on Distributed Computing Techniques

- view
  authority control:
- export record
  dblp key:
  - journals/scp/SoldaniFB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SoldaniFB23
Jacopo Soldani, Stefano Forti, Antonio Brogi:
yRCA: An explainable failure root cause analyser. 102997

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/MoselerD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MoselerD23
Oliver Moseler, Stephan Diehl:
The CodeSparks Framework - Augmenting Source Code with Glyph-based Visualizations. 102998
- view
  authority control:
- export record
  dblp key:
  - journals/scp/SlivkaLPGKSV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SlivkaLPGKSV23
Jelena Slivka, Nikola Luburic, Simona Prokic, Katarina-Glorija Grujic, Aleksandar Kovacevic, Goran Sladic, Dragan Vidakovic:
Towards a systematic approach to manual annotation of code smells. 102999

Special issue on Tools and Demonstrations in Model-Driven Engineering

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GomezAbajoGL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GomezAbajoGL23
Pablo Gómez-Abajo, Esther Guerra, Juan de Lara:
Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises. 103000
- view
  authority control:
- export record
  dblp key:
  - journals/scp/CanoGenovesIA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CanoGenovesIA23
Carlos Cano-Genoves, Emilio Insfrán, Silvia Abrahão:
VeGAn-Tool: A fuzzy-logic approach for value-based goal model analysis. 103001

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.