| |
Algebra and Coalgebra in Computer Science (2009), pp. 367-382.
|
| |
Fundamental Approaches to Software Engineering (2008), pp. 377-391.
|
| |
Symbolic and Numeric Algorithms for Scientific Computing, 2008. SYNASC '08. 10th International Symposium on In 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Vol. 0 (18 September 2008), pp. 340-347.
|
| |
Semantics and Algebraic Specification (2009), pp. 140-161.
|
| |
Annals of Mathematics and Artificial Intelligence (2009)
|
| |
Journal of Object Technology, Vol. 6, No. 9. (2007), pp. 35-51.
|
| |
Logic-Based Program Synthesis and Transformation (2008), pp. 90-105.
|
| |
Science of Computer Programming, Vol. 74, No. 3. (1 January 2009), pp. 65-99.
|
| |
Model Driven Engineering Languages and Systems In MoDELS 2008 (2008), pp. 690-704.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 331-357.
|
| |
Theory and Practice of Model Transformations (2008), pp. 61-75.
|
| |
J. Syst. Softw., Vol. 82, No. 2. (February 2009), pp. 292-306.
|
| |
Fundamental Approaches to Software Engineering (2008), pp. 347-361.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2007), Vol. 207 (10 April 2008), pp. 69-88.
|
| |
Information and Software Technology, Vol. 50, No. 12. (November 2008), pp. 1295-1304.
|
| |
Formal Methods and Software Engineering (2002), pp. 323-334.
|
| |
«UML» 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (2001), pp. 241-256.
|
| |
Graph Transformation (2002), pp. 378-392.
|
| |
UML 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools In Lecture Notes in Computer Science, Vol. 2185 (2001), pp. 134-148.
|
| |
Software Engineering Workshop, 2007. SEW 2007. 31st IEEE In 31st IEEE Software Engineering Workshop (SEW 2007) (March 2007), pp. 194-203.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004), Vol. 127, No. 1. (30 March 2005), pp. 181-192.
|
| |
Emerging Technologies and Factory Automation, 2006. ETFA '06. IEEE Conference on In Emerging Technologies and Factory Automation, 2006. ETFA '06. IEEE Conference on (2006), pp. 1230-1237.
|
| |
Advances in Conceptual Modeling – Foundations and Applications (2007), pp. 86-95.
|
| |
Model Driven Architecture- Foundations and Applications (2007), pp. 68-82.
|
| |
Embedded Computer Systems: Architectures, Modeling, and Simulation (2006), pp. 39-48.
|
| |
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.
|
| |
Graph Transformations In Lecture Notes in Computer Science, Vol. 4178 (2006), pp. 306-320.
|
| |
|
| |
Theoretical Computer Science In Formal Methods for Components and Objects, Formal Methods for Components and Objects, Vol. 365, No. 1-2. (10 November 2006), pp. 109-142.
|
| |
Commun. ACM, Vol. 30, No. 8. (August 1987), pp. 672-686.
|
| |
Theory and Application of Graph Transformations (2000), pp. 296-309.
|
| |
Knowledge and Information Systems (2007)
|
| |
Journal of Software Maintenance and Evolution: Research and Practice, Vol. 17, No. 4. (27 July 2005), pp. 247-276.
|
| |
Technology of Object-Oriented Languages and Systems, 2000. TOOLS 34. Proceedings. 34th International Conference on (2000), pp. 83-94.
|
| |
: Model Driven Engineering Languages and Systems (2006), pp. 646-660.
|
| |
: > 2004 - The Unified Modelling Language (2004), pp. 305-319.
|
| |
Software and Systems Modeling, Vol. V4, No. 4. (17 November 2005), pp. 368-385.
|
| |
Software and Systems Modeling, Vol. 6, No. 4. (December 2007), pp. 381-399.
|
| |
: B 2007: Formal Specification and Development in B (2006), pp. 171-185.
|
| |
Lecture Notes in Computer Science : Model Driven Engineering Languages and Systems (2006), pp. 245-259.
|
| |
Lecture Notes in Computer Science : Formal Methods and Software Engineering (2006), pp. 324-341.
|
| |
Lecture Notes in Computer Science : Model Driven Engineering Languages and Systems (2006), pp. 768-782.
|
| |
Lecture Notes in Computer Science : Formal Methods and Software Engineering (2003), pp. 125-143.
|
| |
Lecture Notes in Computer Science : Refinement Techniques in Software Engineering (2006), pp. 1-17.
|
| |
Rapid System Prototyping, 2000. RSP 2000. Proceedings. 11th International Workshop on (2000), pp. 46-51.
|
| |
In SAICSIT '05: Proceedings of the 2005 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries (2005), pp. 252-259.
|
| |
Lecture Notes in Computer Science : ZUM '98: The Z Formal Specification Notation (1998), pp. 24-41.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005), Vol. 160 (8 August 2006), pp. 275-289.
|
| |
Software and Systems Modeling, Vol. V2, No. 3. (1 October 2003), pp. 187-210.
|
CiteULike
leonardo's CiteULike
Search
