| |
|
| |
Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on In Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on, Vol. 2 (2008), pp. 750-753.
|
| |
Logic-Based Program Synthesis and Transformation (2009), pp. 103-118.
|
| |
Integrated Formal Methods (2009), pp. 103-117.
|
| |
Integrated Formal Methods (2009), pp. 118-135.
|
| |
Form. Methods Syst. Des., Vol. 18, No. 3. (2001), pp. 249-284.
|
| |
Integrated Formal Methods (2007), pp. 138-155.
|
| |
In AOM '08: Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling (2008), pp. 13-18.
|
| |
Software and Systems Modeling (2009)
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 540-565.
by Dániel Varró, Márk Asztalos, Dénes Bisztray, et al.Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell
|
| |
Journal of Logic and Algebraic Programming (29 November 2008)
|
| |
Formal Aspects of Computing, Vol. 7, No. 3. (1 May 1995), pp. 289-313.
|
| |
Leveraging Applications of Formal Methods, Verification and Validation (2009), pp. 307-322.
|
| |
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. 23-30.
|
| |
Integrated Formal Methods (2002), pp. 225-244.
|
| |
Algebraic Methodology and Software Technology (2008), pp. 139-144.
|
| |
FME 2002:Formal Methods—Getting IT Right (2002), pp. 1-15.
|
| |
Fundamental Approaches to Software Engineering (2008), pp. 347-361.
|
| |
Theoretical Computer Science, Vol. 280, No. 1-2. (30 May 2002), pp. 3-34.
|
| |
Journal of Visual Languages & Computing, Vol. 19, No. 2. (April 2008), pp. 153-181.
|
| |
Unifying Theories of Programming (2006), pp. 38-62.
|
| |
Integrated Formal Methods (2002), pp. 299-318.
|
| |
Fundamental Approaches to Software Engineering (2001), pp. 91-108.
|
| |
Computational Science — ICCS 2002 (2002), pp. 695-708.
|
| |
Communicating Sequential Processes (2005), pp. 293-320.
|
| |
Fundamental Approaches to Software Engineering In Lecture Notes in Computer Science, Vol. 1382 (1998), pp. 205-220.
|
| |
Formal Methods and Software Engineering (2002), pp. 287-298.
|
| |
Software Engineering Workshop, 2007. SEW 2007. 31st IEEE In Software Engineering Workshop, 2007. SEW 2007. 31st IEEE (2007), pp. 41-52.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006), Vol. 195 (18 January 2008), pp. 57-74.
|
| |
Innovations in Systems and Software Engineering, Vol. 4, No. 1. (1 April 2008), pp. 45-70.
|
| |
FME 2001: Formal Methods for Increasing Software Productivity (2001), pp. 99-118.
|
| |
Software and Systems Modeling, Vol. 7, No. 3. (July 2008), pp. 273-286.
|
| |
J. UCS, Vol. 9, No. 11. (2003), pp. 1277-1295.
|
| |
J. UCS, Vol. 10, No. 11. (2004), pp. 1540-1559.
|
| |
Formal Methods and Software Engineering (2007), pp. 151-170.
|
| |
Integrated Formal Methods (2000a), pp. 255-276.
|
| |
Science of Computer Programming In Special Issue on: Increasing Adequacy and Reliability of EIS, Vol. 65, No. 1. (1 March 2007), pp. 41-56.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 187 (2007), pp. 19-34.
|
| |
Communicating Sequential Processes (2005), pp. 265-274.
|
| |
Communicating Sequential Processes (2005), pp. 211-219.
|
| |
Communicating Sequential Processes (2005), pp. 151-174.
|
| |
Formal Aspects of Computing (2008)
|
| |
|
| |
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the (2005), pp. 255-262.
|
| |
Formal Aspects of Computing, Vol. 17, No. 2. (2005), pp. 93-112.
|
| |
Software and Systems Modeling, Vol. 7, No. 1. (February 2008), pp. 85-102.
|
| |
Formal Aspects of Computing, Vol. 17, No. 4. (26 December 2005), pp. 390-422.
|
| |
Innovations in Systems and Software Engineering, Vol. 2, No. 1. (13 March 2006), pp. 49-64.
|
| |
Theoretical Computer Science In Algebraic Methods in Language Processing, Vol. 354, No. 1. (21 March 2006), pp. 42-71.
|
| |
In UML 2004. Workshop: OCL and Model Driven Engineering (2004)
|
CiteULike
leonardo's CiteULike
Search
Export
