| |
FM 2009: Formal Methods (2009), pp. 483-498.
|
| |
|
| |
Advanced Information Systems Engineering In CAiSE '09: Proceedings of the 21st International Conference on Advanced Information Systems Engineering, Vol. 5565 (2009), pp. 125-140.
|
| |
Algebra and Coalgebra in Computer Science (2009), pp. 367-382.
|
| |
Model Driven Engineering Languages and Systems (2009), pp. 586-590.
|
| |
Fundamental Approaches to Software Engineering (2008), pp. 377-391.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 250, No. 1. (01 September 2009), pp. 71-86.
|
| |
Journal of Object Technology, Vol. 6, No. 9. (2007), pp. 35-51.
|
| |
«UML» 2000 — The Unified Modeling Language (2000), pp. 323-337.
|
| |
Information and Computation, Vol. 205, No. 5. (May 2007), pp. 733-782.
|
| |
Parallel and Distributed Computing, 2008. ISPDC '08. International Symposium on In Parallel and Distributed Computing, 2008. ISPDC '08. International Symposium on (2008), pp. 459-463.
|
| |
SOFSEM 2009: Theory and Practice of Computer Science (2009), pp. 279-290.
|
| |
In ACSC '04: Proceedings of the 27th Australasian conference on Computer science (2004), pp. 83-88.
|
| |
In FMOODS, Vol. 139 (1999)
|
| |
Software and Systems Modeling (2009)
|
| |
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.
|
| |
In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering (2006), pp. 221-236.
by Gary T. Leavens, Jean R. Abrial, Don Batory, et al.Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff Jones, Dale Miller, Simon P. Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
|
| |
Domain Modeling and the Duration Calculus (2007), pp. 177-235.
|
| |
The Journal of Symbolic Logic, Vol. 59, No. 2. (1994), pp. 673-678.
|
| |
Formal Aspects of Computing, Vol. 10, No. 2. (21 November 1998), pp. 171-186.
|
| |
|
| |
Model Driven Engineering Languages and Systems (2008), pp. 53-67.
|
| |
Logic-Based Program Synthesis and Transformation (2008), pp. 90-105.
|
| |
Journal of Logic and Algebraic Programming (29 November 2008)
|
| |
Formal Aspects of Computing, Vol. 7, No. 3. (1 May 1995), pp. 289-313.
|
| |
Software and Systems Modeling, Vol. 8, No. 4. (1 September 2009), pp. 521-549.
|
| |
Graph Transformations (2008), pp. 194-210.
|
| |
Formal Methods and Software Engineering (2008), pp. 375-396.
|
| |
Informatica, Lith. Acad. Sci., Vol. 19, No. 3. (2008), pp. 345-362.
|
| |
Automated Software Engineering, Vol. 15, No. 3-4. (December 2008), pp. 299-312.
|
| |
In Electronic Workshops in Computing: Rigorous Object-Oriented Methods 2000, series ed. C J van Rijsbergen, British Computer Society, Vol. 2000 (2000), pp. 8-1.
|
| |
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.
|
| |
Innovations in Systems and Software Engineering, Vol. 4, No. 4. (December 2008), pp. 341-360.
|
| |
Software & Systems Modeling, Vol. 8, No. 3. (28 August 2008), pp. 403-422.
|
| |
Acta Informatica, Vol. 2, No. 4. (1 December 1973), pp. 335-355.
|
| |
Theory and Practice of Model Transformations (2008), pp. 137-151.
|
| |
In SAC '03: Proceedings of the 2003 ACM symposium on Applied computing (2003), pp. 1086-1091.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), Vol. 148, No. 1. (1 February 2006), pp. 173-186.
|
| |
|
| |
J. Syst. Softw., Vol. 82, No. 2. (February 2009), pp. 292-306.
|
| |
In VLHCC '07: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (2007), pp. 171-174.
|
| |
In Software Engineering Research and Practice (2003), pp. 877-882.
|
| |
Formal Methods and Software Engineering (2002), pp. 600-612.
|
| |
Fundamental Approaches to Software Engineering (2003), pp. 135-149.
|
| |
Diagrammatic Representation and Inference (2002), pp. 213-236.
|
CiteULike
leonardo's CiteULike
Search
