Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 225

> 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 225, January 2023

Special issue on Selected Tool Papers of the 22nd and 23rd International Conference on Coordination Models and Languages, COORDINATION 2020 and 2021

- view
  authority control:
- export record
  dblp key:
  - journals/scp/BianchiniD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BianchiniD23
Riccardo Bianchini, Francesco Dagnino:
QueryAGT: Asynchronous global types in co-logic programming. 102895

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

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AliLP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AliLP23
Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun:
Cost analysis for a resource sensitive workflow modelling language. 102896

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

- view
  authority control:
- export record
  dblp key:
  - journals/scp/Ravelo-MendezEL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Ravelo-MendezEL23
William Ravelo-Méndez, Camilo Escobar-Velásquez, Mario Linares-Vásquez:
Kraken 2.0: A platform-agnostic and cross-device interaction testing tool. 102897

Software Engineering Using Formal Methods Tools

- view
  authority control:
- export record
  dblp key:
  - journals/scp/HofmannS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HofmannS23
Till Hofmann, Stefan Schupp:
Controlling timed automata against MTL specifications with TACoS. 102898

Special issue on Selected Tool Papers of the 22nd and 23rd International Conference on Coordination Models and Languages, COORDINATION 2020 and 2021

- view
  authority control:
- export record
  dblp key:
  - journals/scp/AudritoIV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AudritoIV23
Giorgio Audrito, Omar Inverso, Hugo Torres Vieira:
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021. 102899

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

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ChenWYW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ChenWYW23
Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang:
Static analysis of linear absolute value equalities among variables of a program. 102906
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZhuBCH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhuBCH23
Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang:
A fairness-based refinement strategy to transform liveness properties in Event-B models. 102907

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZakeriyanKSKS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZakeriyanKSKS23
Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah, Seyede Mehrnaz Shamsabadi:
Automated testing of an industrial stock market trading platform based on functional specification. 102908

Software Engineering Using Formal Methods Tools

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Kauffman23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Kauffman23
Sean Kauffman:
Log analysis and system monitoring with nfer. 102909

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021)

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/EerdGHMOW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/EerdGHMOW23
Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Muhammad Osama, Anton Wijs:
Innermost many-sorted term rewriting on GPUs. 102910

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/CrafaLSV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CrafaLSV23
Silvia Crafa, Cosimo Laneve, Giovanni Sartor, Adele Veschetti:
Pacta sunt servanda: Legal contracts in Stipula. 102911

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

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZhangO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhangO23
Min Zhang, Kazuhiro Ogata:
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021). 102912

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/HojjatM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HojjatM23
Hossein Hojjat, Mieke Massink:
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021). 102913

a service of

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.