|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Diagram Chase in Relational System Development |
Ebert, Michael |
2005 |
127 | 4 |
p. 87-105 19 p. |
artikel |
|
| 2 | Distributed Event Graphs: Formalizing Component-based Modelling and Simulation |
de Lara, Juan |
2005 |
127 | 4 |
p. 145-162 18 p. |
artikel |
|
| 3 | From UML Models to Graph Transformation Systems |
Ziemann, Paul |
2005 |
127 | 4 |
p. 17-33 17 p. |
artikel |
|
| 4 | Investigating Reasoning with Constraint Diagrams |
Fish, Andrew |
2005 |
127 | 4 |
p. 53-69 17 p. |
artikel |
|
| 5 | Preface |
Minas, Mark |
2005 |
127 | 4 |
p. 1-2 2 p. |
artikel |
|
| 6 | Semantics and Verification of Data Flow in UML 2.0 Activities |
Störrle, Harald |
2005 |
127 | 4 |
p. 35-52 18 p. |
artikel |
|
| 7 | Termination of High-Level Replacement Units with Application to Model Transformation |
Bottoni, Paolo |
2005 |
127 | 4 |
p. 71-86 16 p. |
artikel |
|
| 8 | Towards Graph Transformation Based Generation of Visual Editors Using Eclipse |
Ehrig, Karsten |
2005 |
127 | 4 |
p. 127-143 17 p. |
artikel |
|
| 9 | Towards Syntax-Aware Editors for Visual Languages |
Costagliola, Gennaro |
2005 |
127 | 4 |
p. 107-125 19 p. |
artikel |
|
| 10 | UML Automatic Verification Tool with Formal Methods |
Beato, M. Encarnación |
2005 |
127 | 4 |
p. 3-16 14 p. |
artikel |
10 gevonden resultaten