| |
In the 2009 ACM symposium (2009), pp. 1867-1872.
|
| |
In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2008), pp. 51-60.
|
| |
In PLPV '09: Proceedings of the 3rd workshop on Programming languages meets program verification (2008), pp. 67-72.
|
| |
|
| |
Reverse Engineering, Working Conference on, Vol. 0 (2003), 369.
|
| |
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.
|
| |
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.
|
| |
ECOOP 2009 – Object-Oriented Programming (2009), pp. 369-393.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 214 (28 June 2008), pp. 359-380.
|
| |
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. 125-128.
|
| |
In In Proc. 5th European Conference on Software Maintenance and Reengineering (2001), pp. 30-38.
|
| |
Formal Methods for Open Object-Based Distributed Systems (2008), pp. 170-184.
|
| |
Leveraging Applications of Formal Methods, Verification and Validation (2009), pp. 323-338.
|
| |
Graph Transformations (2008), pp. 242-256.
|
| |
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.
|
| |
“UML�? 2003 - The Unified Modeling Language (2003), pp. 159-174.
|
| |
Software, IEEE In Software, IEEE, Vol. 20, No. 5. (2003), pp. 52-58.
|
| |
ZB 2003: Formal Specification and Development in Z and B (2003), pp. 627-627.
|
| |
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. 50-69.
|
| |
Static Analysis (2007), pp. 1-17.
|
| |
> 2004 - The Unified Modelling Language (2004), pp. 173-187.
|
| |
Object-Oriented Technology. ECOOP 2007 Workshop Reader (2008), pp. 193-202.
|
| |
Fundamental Approaches to Software Engineering (2008), pp. 347-361.
|
| |
Formal Methods for Open Object-Based Distributed Systems (2007), pp. 236-251.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 11th Refinement Workshop (REFINE 2006), Vol. 187 (15 July 2007), pp. 3-17.
|
| |
Fundamental Approaches to Software Engineering (2004), pp. 69-83.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004), Vol. 130 (12 May 2005), pp. 281-300.
|
| |
Fundamental Approaches to Software Engineering (2008), pp. 362-376.
|
| |
|
| |
Graph Transformations (2004), pp. 399-415.
|
| |
UML 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools In Lecture Notes in Computer Science, Vol. 2185 (2001), pp. 134-148.
|
| |
In SEKE (2007), pp. 232-237.
|
| |
Objects, Components, Architectures, Services, and Applications for a Networked World (2003), pp. 366-377.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Workshop on Formal Methods, Vol. 95 (17 May 2004), pp. 227-243.
|
| |
In OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2005), pp. 124-125.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Second Brazilian Symposium on Formal Methods (SBMF 2005), Vol. 184 (12 July 2007), pp. 39-61.
|
| |
In ICSE '06: Proceedings of the 28th international conference on Software engineering (2006), pp. 112-121.
|
| |
Requirements Engineering, 2005. Proceedings. 13th IEEE International Conference on, In RE '05: Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE'05) (2005), pp. 363-372.
|
| |
IEEE Trans. Softw. Eng., Vol. 30, No. 2. (February 2004), pp. 126-139.
|
| |
Compiler Construction (2007), pp. 156-171.
|
| |
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.
|
| |
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.
|
| |
Electronic Notes in Theoretical Computer Science In UNIGRA'03, Uniform Approaches to Graphical Process Specification Techniques (Satellite Event for ETAPS 2003), Vol. 82, No. 7. (June 2003), pp. 91-104.
|
| |
In SAC '06: Proceedings of the 2006 ACM symposium on Applied computing (2006), pp. 1210-1217.
|
| |
Software and Systems Modeling, Vol. 7, No. 1. (23 February 2008), pp. 25-47.
|
| |
Software and Systems Modeling, Vol. 8, No. 2. (2 April 2009), pp. 165-183.
|
| |
Perspectives of Systems Informatics (2007), pp. 70-83.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 184 (12 July 2007), pp. 209-233.
|
| |
|
| |
Science of Computer Programming, Vol. 52, No. 1-3. (August 2004), pp. 9-51.
|
CiteULike
leonardo's CiteULike
Search
Export
