default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 42

> 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 42, Number 1, January 2002

Engineering Automation for Computer Based Systems, Carmel, CA, USA, October 1998

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LuqiB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LuqiB02
Luqi, Manfred Broy:
Software engineering beyond our planning horizon: automation for computer-based systems. 1-10
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Berry02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Berry02
Daniel M. Berry:
Formal methods: the very idea - Some thoughts about why they work when they work. 11-27
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Robertson02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Robertson02
David Robertson:
Pitfalls of formality in early system design. 29-38
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CleavelandS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CleavelandS02
Rance Cleaveland, Steve Sims:
Generic tools for verifying concurrent systems. 39-47
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KwakLS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KwakLS02
Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky:
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. 49-60
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Berzins02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Berzins02
Valdis Berzins:
Lightweight inference for automation efficiency. 61-74
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Polak02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Polak02
Wolfgang Polak:
Formal methods in practice. 75-85
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GelfondW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GelfondW02
Michael Gelfond, Richard Watson:
On methodology of representing knowledge in dynamic domains. 87-99
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/VolkerK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/VolkerK02
Norbert Völker, Bernd J. Krämer:
Automated verification of function block-based industrial control systems. 101-113
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CookeK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CookeK02
Daniel E. Cooke, Vladik Kreinovich:
Automatic concurrency in SequenceL. 115-128

Volume 42, Numbers 2-3, February 2002

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AalstHT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AalstHT02
Wil M. P. van der Aalst, Kees M. van Hee, Robert A. van der Toorn:
Component-based software architectures: a framework based on inheritance of behavior. 129-171
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FeijsQ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FeijsQ02
Loe M. G. Feijs, Yuechen Qian:
Component algebra. 173-228
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/TonellaP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/TonellaP02
Paolo Tonella, Alessandra Potrich:
Cjj: a subset of C++ compliant with Java. 229-271

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.