Science of Computer Programming, Volume 156

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Journals > Science of Computer Programming

Volume 156, May 2018

- view
- 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
- 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
- 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.