default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 65

> 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 65, Number 1, March 2007

Special Issue on: Increasing Adequacy and Reliability of EIS

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Bergstra07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Bergstra07
Jan A. Bergstra:
Letter from the editor.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BarjisAU07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BarjisAU07
Joseph Barjis, Juan Carlos Augusto, Ulrich Ultes-Nitsche:
Towards more adequate EIS. 1-3
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GruhnL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GruhnL07
Volker Gruhn, Ralf Laue:
What business process modelers can learn from programmers. 4-13
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/YeungLWD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/YeungLWD07
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong:
Modelling and model checking suspendible business processes via statechart diagrams and CSP. 14-29
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HeeOSSV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HeeOSSV07
Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
LogLogics: A logic for history-dependent business processes. 30-40
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AkhlakiTTM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AkhlakiTTM07
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. 41-56
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GallardoMMNP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GallardoMMNP07
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel:
PiXL: Applying xml standards to support the integration of analysis tools for protocols. 57-69

Volume 65, Number 2, March 2007

Special Issue dedicated to selected papers from the conference of program construction 2004 (MPC 2004)

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Kozen07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Kozen07
Dexter Kozen:
Preface. 71
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AtanassowJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AtanassowJ07
Frank Atanassow, Johan Jeuring:
Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. 72-107
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Gibbons07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Gibbons07
Jeremy Gibbons:
Metamorphisms: Streaming representation-changers. 108-139
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MartinCR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MartinCR07
Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky:
Modelling angelic and demonic nondeterminism with multirelations. 140-158
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MorrisT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MorrisT07
Joseph M. Morris, Malcolm Tyrrell:
Terms with unbounded demonic and angelic nondeterminacy. 159-172
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FernandesD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FernandesD07
Therrezinha Fernandes, Jules Desharnais:
Describing data flow analysis techniques with Kleene algebra. 173-194
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Moller07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Moller07
Bernhard Möller:
Kleene getting lazy. 195-214

Volume 65, Number 3, April 2007

Special Issue on: Software Configuration Management (SCM)

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KrikhaarC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KrikhaarC07
René L. Krikhaar, Ivica Crnkovic:
Software Configuration Management. 215-221
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/VoineaLT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/VoineaLT07
Lucian Voinea, Johan Lukkien, Alexandru C. Telea:
Visual assessment of software evolution. 222-248
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MurtaODLW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MurtaODLW07
Leonardo Gresta Paulino Murta, Hamilton L. R. Oliveira, Cristine R. Dantas, Luiz Gustavo Lopes, Cláudia Maria Lima Werner:
Odyssey-SCM: An integrated software configuration management infrastructure for UML models. 249-274

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.