| |
Software Testing, Verification, and Validation, 2008 International Conference on, Vol. 0 (2008), pp. 288-297.
|
| |
Journal of Systems and Software, Vol. 82, No. 7. (12 July 2009), pp. 1125-1136.
|
| |
Model Driven Architecture – Foundations and Applications (2008), pp. 294-309.
|
| |
Enterprise Distributed Object Computing Workshop, 1998. EDOC '98. Proceedings. Second International In Enterprise Distributed Object Computing Workshop, 1998. EDOC '98. Proceedings. Second International (1998), pp. 113-122.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 44, No. 4. (July 2001), pp. 41-51.
|
| |
«UML» 2002 — The Unified Modeling Language (2002), pp. 155-178.
|
| |
Software & Systems Modeling, Vol. 8, No. 4. (September 2009), pp. 479-500.
|
| |
Model Driven Architecture – Foundations and Applications (2008), pp. 310-325.
|
| |
ZB 2002:Formal Specification and Development in Z and B (2002), pp. 101-114.
|
| |
|
| |
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on In Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on (2005), pp. 421-430.
|
| |
Control Applications, 2001. (CCA '01). Proceedings of the 2001 IEEE International Conference on In Control Applications, 2001. (CCA '01). Proceedings of the 2001 IEEE International Conference on (2001), pp. 756-760.
|
| |
Formal Methods for Open Object-Based Distributed Systems (2006), pp. 156-170.
|
| |
Model Driven Architecture- Foundations and Applications (2007), pp. 32-42.
|
| |
Model Driven Architecture- Foundations and Applications (2007), pp. 68-82.
|
| |
Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on In Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on, Vol. 1 (2007), pp. 694-701.
|
| |
ECOOP 2007 – Object-Oriented Programming (2007), pp. 600-624.
|
| |
IEEE Software In Software, IEEE, Vol. 20, No. 5. (2003), pp. 26-32.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the International Workshop on Graph and Model Transformation (GraMoT 2005), Vol. 152 (27 March 2006), pp. 111-123.
|
| |
Software and Systems Modeling, Vol. V5, No. 1. (30 April 2006), pp. 72-90.
|
CiteULike
leonardo's CiteULike
Search
Export
