ask others

Science of Computer Programming, Volume 166

> Home > Journals > Science of Computer Programming

Volume 166, November 2018

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/CleophasSW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/CleophasSW18
Loek Cleophas, Ina Schaefer, Bruce W. Watson:
Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017). 1-2
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/LienhardtDTT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/LienhardtDTT18
Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin:
On checking delta-oriented product lines of statecharts. 3-34
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/CorradiniFPRT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/CorradiniFPRT18
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi:
A formal approach to modeling and verification of business process collaborations. 35-70
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/DuHJM18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/DuHJM18
Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet:
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems. 71-88
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/MeftehBB18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/MeftehBB18
Mariem Mefteh, Nadia Bouassida, Hanêne Ben-Abdallah:
Towards naturalistic programming: Mapping language-independent requirements to constrained language specifications. 89-119
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/ScottJ18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/ScottJ18
Elizabeth Scott, Adrian Johnstone:
GLL syntax analysers for EBNF grammars. 120-145
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - journals/scp/AudritoDV18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/AudritoDV18
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Optimal single-path information propagation in gradient-based algorithms. 146-166
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/KamburjanHS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/KamburjanHS18
Eduard Kamburjan, Reiner Hähnle, Sebastian Schön:
Formal modeling and analysis of railway operations with active objects. 167-193
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BrogiNRS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BrogiNRS18
Antonio Brogi, Davide Neri, Luca Rinaldi, Jacopo Soldani:
Orchestrating incomplete TOSCA applications with Docker. 194-213
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/TemperoR18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/TemperoR18
Ewan D. Tempero, Paul Ralph:
A framework for defining coupling metrics. 214-230