| |
Journal of Systems and Software (15 August 2009)
|
| |
Logic-Based Program Synthesis and Transformation (2008), pp. 90-105.
|
| |
Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on In Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on (2008), pp. 166-173.
|
| |
Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 328-337.
|
| |
Model Driven Engineering Languages and Systems (2008), pp. 660-674.
|
| |
Theory and Practice of Model Transformations (2008), pp. 1-15.
|
| |
Theory and Practice of Model Transformations (2008), pp. 61-75.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions (SETra 2004), Vol. 127, No. 3. (11 April 2005), pp. 139-145.
|
| |
Graph Transformation (2002), pp. 90-105.
|
| |
|
| |
Journal of Software Maintenance and Evolution: Research and Practice, Vol. 17, No. 5. (2005), pp. 309-332.
|
| |
Electronic Notes in Theoretical Computer Science In REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002), Vol. 70, No. 3. (November 2002), pp. 311-330.
|
| |
Integrated Formal Methods (2004), pp. 227-246.
|
| |
Software Engineering, IEEE Transactions on, Vol. 31, No. 12. (2005), pp. 999-1014.
|
| |
Web Information Systems Engineering – WISE 2007 (2007), pp. 184-195.
|
| |
Embedded Software for SoC (2004), pp. 467-484.
|
| |
Inf. Syst., Vol. 27, No. 6. (September 2002), pp. 445-457.
|
| |
Human Centric Computing Languages and Environments, 2003. Proceedings. 2003 IEEE Symposium on (2003), pp. 145-152.
|
| |
: Model Driven Engineering Languages and Systems In Proceedings of Model Driven Engineering Languages and Systems (MoDELS'06), Vol. 4199 (2006), pp. 425-439.
|
| |
Circuits and Systems, 2005. 48th Midwest Symposium on (2005), pp. 319-322 Vol. 1.
|
| |
: Formal Methods for Open Object-Based Distributed Systems (2006), pp. 123-137.
|
| |
: Leveraging Applications of Formal Methods (2006), pp. 26-41.
|
| |
Lecture Notes in Computer Science : B 2007: Formal Specification and Development in B (2006), pp. 186-200.
|
| |
Lecture Notes in Computer Science : Refinement Techniques in Software Engineering (2006), pp. 18-63.
|
Search
Export
