The SCEAS System
Navigation Menu

Journals in DBLP

Sci. Comput. Program.
2001, volume: 40, number: 1

  1. Egidio Astesiano, Carlo Ghezzi
    Fundamental Approaches to Software Engineering. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:40, n:1, pp:1-2 [Journal]
  2. Steven Bradley, William Henderson, David Kendall, Adrian Robson
    A formal design language for real-time systems with data. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:40, n:1, pp:3-29 [Journal]
  3. Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr
    Specifying embedded systems with statecharts and Z: an agenda for cyclic software components. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:40, n:1, pp:31-57 [Journal]
  4. Alexandre Mota, Augusto Sampaio
    Model-checking CSP-Z: strategy, tool support and industrial application. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:40, n:1, pp:59-96 [Journal]
  5. Julia Padberg, Magdalena Gajewsky, Claudia Ermel
    Rule-based refinement of high-level nets preserving safety properties. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:40, n:1, pp:97-118 [Journal]
  6. Peter Scholz
    Incremental design of statechart specifications. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:40, n:1, pp:119-145 [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