default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 36

> 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 36, Number 1, January 2000

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CuellarGL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CuellarGL00
Jorge Cuéllar, Stefania Gnesi, Diego Latella:
Foreword. 1-3
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BerryBFLNS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BerryBFLNS00
Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone:
ESTEREL: a formal method applied to avionic software development. 5-25
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BozgaFGJJKMM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BozgaFGJJKMM00
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier:
Verification and test generation for the SSCOP protocol. 27-52
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Hartonas-GarmhausenCCCG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Hartonas-GarmhausenCCCG00
Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia:
Verification of a safety-critical railway interlocking system with real-time constraints. 53-64
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HeimdahlC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HeimdahlC00
Mats Per Erik Heimdahl, Barbara J. Czerny:
On the analysis needs when verifying state-based software requirements: an experience report. 65-96
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HermannsK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HermannsK00
Holger Hermanns, Joost-Pieter Katoen:
Automated compositional Markov chain generation for a plain-old telephone system. 97-127

Volume 36, Numbers 2-3, March 2000

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BaxterQV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BaxterQV00
Ira D. Baxter, Alex Quilici, Chris Verhoef:
Preface. 129-130
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BaxterM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BaxterM00
Ira D. Baxter, Michael Mehlich:
Reverse engineering is reverse forward engineering. 131-147
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GirardK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GirardK00
Jean-Francois Girard, Rainer Koschke:
A comparison of abstract data types and objects recovery techniques. 149-181
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/StoreyWM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/StoreyWM00
Margaret-Anne D. Storey, Kenny Wong, Hausi A. Müller:
How do program understanding tools affect how programmers understand programs? 183-207
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BrandSV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BrandSV00
Mark van den Brand, M. P. A. Sellink, Chris Verhoef:
Generation of components for software renovation factories from context-free grammars. 209-266
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/JerdingR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JerdingR00
Dean F. Jerding, Spencer Rugaber:
Using visualization for architectural localization and extraction. 267-284
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/QuiliciWZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/QuiliciWZ00
Alex Quilici, Steven Woods, Yongjun Zhang:
Program plan matching: experiments with a constraint-based approach. 285-302
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/DeursenQW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DeursenQW00
Arie van Deursen, Alex Quilici, Steven Woods:
Program plan recognition for year 2000 tools. 303-324

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.