The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 127, number: 4

  1. Mark Minas
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:1-2 [Journal]
  2. Maria Encarnación Beato Gutiérrez, Manuel Barrio-Solórzano, Carlos Enrique Cuesta Quintero, Pablo de la Fuente
    UML Automatic Verification Tool with Formal Methods. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:3-16 [Journal]
  3. Paul Ziemann, Karsten Hölscher, Martin Gogolla
    From UML Models to Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:17-33 [Journal]
  4. Harald Störrle
    Semantics and Verification of Data Flow in UML 2.0 Activities. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:35-52 [Journal]
  5. Andrew Fish, Jean Flower
    Investigating Reasoning with Constraint Diagrams. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:53-69 [Journal]
  6. Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer
    Termination of High-Level Replacement Units with Application to Model Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:71-86 [Journal]
  7. Michael Ebert, Georg Struth
    Diagram Chase in Relational System Development. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:87-105 [Journal]
  8. Gennaro Costagliola, Vincenzo Deufemia, Giuseppe Polese
    Towards Syntax-Aware Editors for Visual Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:107-125 [Journal]
  9. Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer
    Towards Graph Transformation Based Generation of Visual Editors Using Eclipse. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:127-143 [Journal]
  10. Juan de Lara
    Distributed Event Graphs: Formalizing Component-based Modelling and Simulation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:145-162 [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