| |
«UML» 2000 — The Unified Modeling Language (2000), pp. 323-337.
|
| |
In FMOODS, Vol. 139 (1999)
|
| |
In SOS 2008, Preliminary Proceedings (2008)
|
| |
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (2000), pp. 624-628.
|
| |
Perspectives of System Informatics (2001), pp. 165-190.
|
| |
Domain Modeling and the Duration Calculus (2007), pp. 177-235.
|
| |
Formal Aspects of Computing, Vol. 10, No. 2. (21 November 1998), pp. 171-186.
|
| |
|
| |
Automated Software Engineering, Vol. 15, No. 3-4. (December 2008), pp. 299-312.
|
| |
Theory and Practice of Model Transformations (2008), pp. 137-151.
|
| |
In VLHCC '07: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (2007), pp. 171-174.
|
| |
Formal Methods and Software Engineering (2002), pp. 600-612.
|
| |
Correct Hardware Design and Verification Methods (2001), pp. 449-464.
|
| |
Model Driven Engineering Languages and Systems (2007), pp. 271-285.
|
| |
UML'99 - The Unified Modeling Language In Lecture Notes in Computer Science, Vol. 1723 (1999), pp. 430-444.
|
| |
Distributed Computing and Internet Technology (2007), pp. 225-239.
|
| |
Theor. Comput. Sci., Vol. 373, No. 3. (April 2007), pp. 238-272.
|
| |
Software and Systems Modeling, Vol. V3, No. 1. (1 March 2004), pp. 9-30.
|
| |
In Handbook of Logic in Computer Science, Vol 4 (1995), pp. 269-356.
|
| |
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific (2001), pp. 177-184.
|
| |
Software and Systems Modeling, Vol. V1, No. 2. (1 December 2002), pp. 130-141.
|
Search
Export
