default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 166

> 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 166, November 2018

- view
  authority control:
- export record
  dblp key:
  - journals/scp/CleophasSW18
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/scp/LienhardtDTT18
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/scp/CorradiniFPRT18
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/scp/DuHJM18
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/scp/MeftehBB18
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/scp/ScottJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ScottJ18
Elizabeth Scott, Adrian Johnstone:
GLL syntax analysers for EBNF grammars. 120-145
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AudritoDV18
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/scp/KamburjanHS18
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/scp/BrogiNRS18
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/scp/TemperoR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/TemperoR18
Ewan D. Tempero, Paul Ralph:
A framework for defining coupling metrics. 214-230

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.