The SCEAS System
Navigation Menu

Journals in DBLP

Sci. Comput. Program.
2002, volume: 42, number: 1

  1. Luqi, Manfred Broy
    Software engineering beyond our planning horizon: automation for computer-based systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:1-10 [Journal]
  2. Daniel M. Berry
    Formal methods: the very idea - Some thoughts about why they work when they work. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:11-27 [Journal]
  3. David Robertson
    Pitfalls of formality in early system design. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:29-38 [Journal]
  4. Rance Cleaveland, Steve Sims
    Generic tools for verifying concurrent systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:39-47 [Journal]
  5. Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky
    Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:49-60 [Journal]
  6. Valdis Berzins
    Lightweight inference for automation efficiency. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:61-74 [Journal]
  7. Wolfgang Polak
    Formal methods in practice. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:75-85 [Journal]
  8. Michael Gelfond, Richard Watson
    On methodology of representing knowledge in dynamic domains. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:87-99 [Journal]
  9. Norbert Völker, Bernd J. Krämer
    Automated verification of function block-based industrial control systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:101-113 [Journal]
  10. Daniel E. Cooke, Vladik Kreinovich
    Automatic concurrency in SequenceL. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:115-128 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002