default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 224

> 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 224, December 2022

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/AfzalMU22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AfzalMU22
Uzma Afzal, Tariq Mahmood, Shazia Usmani:
Evolutionary Computing to solve product inconsistencies in Software Product Lines. 102875
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GarianoSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GarianoSP22
Isaac Oscar Gariano, Marco Servetto, Alex Potanin:
Using capabilities for strict runtime invariant checking. 102878

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/BeekDLMPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BeekDLMPS22
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini, Giordano Scarso:
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. 102879

Special Issue of the 15th international symposium on Theoretical Aspects of Software Engineering

- view
  authority control:
- export record
  dblp key:
  - journals/scp/Futatsugi22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Futatsugi22
Kokichi Futatsugi:
Advances of proof scores in CafeOBJ. 102893

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/GuJSEL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GuJSEL22
Rong Gu, Peter Gjøl Jensen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist:
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems. 102894

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.