|
Journals in DBLP
- Michel Bauderon, Mohamed Mosbah
A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
- Nik Swoboda, Gerard Allwein
Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
- Ella E. Roubtsova, Ruurd Kuiper
Process Semantics for UML Component Specifications to Assess Inheritance. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
- John Power, Konstantinos Tourlas
On the Geometric Modelling of Visual Languages. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
- Juan de Lara Jaramillo, Hans Vangheluwe, Manuel Alfonseca Moreno
Using Meta-Modelling and Graph Grammars to Create Modelling Environments. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
- Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer
Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
- Martin Gogolla, Paul Ziemann, Sabine Kuske
Towards an Integrated Graph Based Semantics for UML. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
- Jean Flower, John Howse, John Taylor
Nesting in Euler Diagrams. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
- Claudia Ermel, Roswitha Bardohl
Scenario Views for Visual Behavior Models in GenGED. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
- Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
A Component Framework Based on High-Level Replacement Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
- Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino
Exploiting Visual Languages Generation and UML Meta Modeling to Construct Meta-CASE Workbenches. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
- Peter Braun, Frank Marschall
Transforming Object Oriented Models with BOTL. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
- Dániel Varró
Towards Symbolic Analysis of Visual Modeling Languages. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
|