default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 156

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on 6 of 6 records

view refined list in

export refined list as

showing all 6 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 156, May 2018

- view
  authority control:
- export record
  dblp key:
  - journals/scp/BrauHN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BrauHN18
Guillaume Brau, Jérôme Hugues, Nicolas Navet:
Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems. 1-20
- view
  authority control:
- export record
  dblp key:
  - journals/scp/Banach18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Banach18
Richard Banach:
Modelling, formal refinement and partitioning strategies for a small aircraft fuel pump system in Hybrid Event-B. 21-44
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ThimblebyW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ThimblebyW18
Harold Thimbleby, David Williams:
A tool for publishing reproducible algorithms & A reproducible, elegant algorithm for sequential experiments. 45-67
- view
  authority control:
- export record
  dblp key:
  - journals/scp/Ralph18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Ralph18
Paul Ralph:
The two paradigms of software development research. 68-89
- view
  authority control:
- export record
  dblp key:
  - journals/scp/Paredes-Valverde18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Paredes-Valverde18
Mario Andrés Paredes-Valverde, María del Pilar Salas-Zárate, Ricardo Colomo-Palacios, Juan Miguel Gómez-Berbís, Rafael Valencia-García:
An ontology-based approach with which to assign human resources to software projects. 90-103
- view
  authority control:
- export record
  dblp key:
  - journals/scp/KaminaAMI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KaminaAMI18
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi:
Method safety mechanism for asynchronous layer deactivation. 104-120
no results

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.