Report
| Date
| Title
|
EDI-INF-RR-1410
| 2012
| Recursive checkonly QVT-R transformations with general when and where clauses via the modal mu calculus
|
EDI-INF-RR-1209
| Oct 2007
| Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions
|
EDI-INF-RR-1208
| 2006
| On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams
|
EDI-INF-RR-0445
| Apr 2003
| Modelling recursive calls with UML state diagrams
|
EDI-INF-RR-0444
| Apr 2002
| Enriching OCL using observational mu-calculus
|
EDI-INF-RR-0443
| Oct 2001
| On associations in the Unified Modelling Language
|
EDI-INF-RR-0442
| Apr 2001
| On Use Cases and Their Relationships in the Unified Modelling Language
|
EDI-INF-RR-0441
| Mar 2003
| Performance modelling with UML and stochastic process algebras
|
EDI-INF-RR-0440
| Apr 2005
| Functional Programming Languages for Verification Tools: A Comparison of Standard ML and Haskell
|
EDI-INF-RR-0439
| Jan 2002
| Small-scale XMI programming: a revolution in UML tool use?
|
EDI-INF-RR-0438
| Sep 2002
| On the interpretation of binary associations in the Unified Modelling Language
|