nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Component Framework Based on High-Level Replacement Systems
|
Ehrig, Hartmut |
|
2003 |
72 |
3 |
p. 118-132 15 p. |
artikel |
2 |
A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms
|
Bauderon, Michel |
|
2003 |
72 |
3 |
p. 13-24 12 p. |
artikel |
3 |
Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams
|
Hausmann, Jan Hendrik |
|
2003 |
72 |
3 |
p. 133-144 12 p. |
artikel |
4 |
Exploiting Visual Languages Generation and UML Meta Modeling to Construct Meta-CASE Workbenches
|
Costagliola, G. |
|
2003 |
72 |
3 |
p. 25-35 11 p. |
artikel |
5 |
Nesting in Euler Diagrams
|
Flower, J. |
|
2003 |
72 |
3 |
p. 93-102 10 p. |
artikel |
6 |
On the Geometric Modelling of Visual Languages
|
Power, John |
|
2003 |
72 |
3 |
p. 1-12 12 p. |
artikel |
7 |
Preface
|
Bottoni, Paolo |
|
2003 |
72 |
3 |
p. 176-177 2 p. |
artikel |
8 |
Process semantics for UML component specifications to assess inheritance
|
Roubtsova, E.E. |
|
2003 |
72 |
3 |
p. 145-159 15 p. |
artikel |
9 |
Scenario Views for Visual Behavior Models in GenGED* * This work is supported by the German-Brazilian Cooperation for Graphical Support of Formal and Semi-Formal Methods for Software Specification and Development (GRAPHIT).
|
Ermel, C. |
|
2003 |
72 |
3 |
p. 65-77 13 p. |
artikel |
10 |
Towards an Integrated Graph Based Semantics for UML
|
Gogolla, Martin |
|
2003 |
72 |
3 |
p. 160-175 16 p. |
artikel |
11 |
Towards Symbolic Analysis of Visual Modeling Languages
|
Varró, Dániel |
|
2003 |
72 |
3 |
p. 51-64 14 p. |
artikel |
12 |
Transforming Object Oriented Models with BOTL
|
Braun, Peter |
|
2003 |
72 |
3 |
p. 103-117 15 p. |
artikel |
13 |
Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference
|
Swoboda, Nik |
|
2003 |
72 |
3 |
p. 78-92 15 p. |
artikel |
14 |
Using Meta-Modelling and Graph Grammars to Create Modelling Environments
|
de Lara Jaramillo, Juan |
|
2003 |
72 |
3 |
p. 36-50 15 p. |
artikel |