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 ?? of ?? records

view refined list in

export refined list as

showing all ?? records

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

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.