ask others

Science of Computer Programming, Volume 156

> Home > Journals > Science of Computer Programming

Volume 156, May 2018

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BrauHN18
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Banach18
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/ThimblebyW18
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Ralph18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/Ralph18
Paul Ralph:
The two paradigms of software development research. 68-89
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Paredes-Valverde18
- ask others
- share record
  short 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
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/KaminaAMI18
- ask others
- share record
  short 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

maintained by

at