| |
Formal Methods and Software Engineering (2009), pp. 347-366.
|
| |
|
| |
Science of Computer Programming, Vol. 20, No. 1-2. (April 1993), pp. 3-50.
|
| |
|
| |
On the Move to Meaningful Internet Systems: OTM 2009 Workshops, Vol. 5872 (2009), pp. 370-380.
edited by David Hutchison, Takeo Kanade, Josef Kittler, et al.Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Robert Meersman, Pilar Herrero, Tharam Dillon
|
| |
Advances in Enterprise Engineering II (2009), pp. 134-154.
|
| |
In SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing (2009), pp. 285-286.
|
| |
Transactions on Aspect-Oriented Software Development VI (2009), pp. 39-82.
|
| |
Science of Computer Programming (18 October 2009)
|
| |
Oikos, Vol. 116, No. 5. (May 2007), pp. 723-727.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 254 (28 October 2009), pp. 143-160.
|
| |
|
| |
Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on, Vol. 0 (2009), pp. 55-62.
|
| |
Formal Methods and Software Engineering (2008), pp. 278-297.
|
| |
Security Protocols, Vol. 5087 (2009), pp. 52-58.
|
| |
Availability, Reliability and Security, 2008. ARES 08. Third International Conference on (23 May 2008), pp. 1421-1428.
|
| |
In CASCON '06: Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research (2006), 25.
|
| |
Innovations in Systems and Software Engineering, Vol. 4, No. 3. (1 September 2008), pp. 267-274.
|
| |
Innovations in Systems and Software Engineering, Vol. 4, No. 3. (1 September 2008), pp. 249-257.
|
| |
|
| |
|
| |
Journal of Object Technology, Vol. 8, No. 6. (September 2009), pp. 121-126.
|
| |
Models in Software Engineering (2009), pp. 35-47.
|
| |
Software Evolution (2008), pp. 1-11.
|
| |
Reverse Engineering, 2003. WCRE 2003. Proceedings. 10th Working Conference on (19 April 2004), pp. 369-370.
|
| |
Model Driven Engineering Languages and Systems (2009), pp. 241-255.
|
| |
Model Driven Engineering Languages and Systems (2009), pp. 670-684.
|
| |
Model Driven Engineering Languages and Systems (2009), pp. 628-643.
|
| |
Model Driven Engineering Languages and Systems (2009), pp. 378-392.
|
| |
Model Driven Engineering Languages and Systems (2009), pp. 211-225.
|
| |
Model Driven Engineering Languages and Systems (2009), pp. 571-585.
|
| |
Research and Advanced Technology for Digital Libraries (2009), pp. 15-26.
|
| |
Research and Advanced Technology for Digital Libraries (2009), pp. 429-432.
|
| |
Safety and Security in Multiagent Systems (2009), pp. 90-100.
|
| |
Software Testing, Verification and Reliability, Vol. 19, No. 3. (2009), pp. 215-261.
|
| |
Journal of Systems and Software, Vol. 61, No. 2. (15 March 2002), pp. 105-119.
|
| |
Algebraic Methodology and Software Technology (1997), pp. 494-508.
|
| |
WSEAS Trans. Info. Sci. and App., Vol. 6, No. 5. (2009), pp. 859-871.
|
| |
Theorem Proving in Higher Order Logics (2009), pp. 60-66.
|
| |
In ESEC/FSE '09: Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium (2009), pp. 173-182.
|
| |
International Journal of Web and Grid Services (August 2009), pp. 107-129.
|
| |
Innovations in Systems and Software Engineering, Vol. 5, No. 3. (1 September 2009), pp. 229-229.
|
| |
|
| |
at - Automatisierungstechnik, Vol. 50, No. 11/2002. (November 2002), 533.
|
| |
Enterprise, Business-Process and Information Systems Modeling (2009), pp. 71-84.
|
| |
The Computer Journal, Vol. 52, No. 3. (1 May 2009), pp. 348-367.
|
| |
25 Years of Model Checking (2008), pp. 1-26.
|
| |
In ICSE '04: Proceedings of the 26th International Conference on Software Engineering (2004), pp. 86-95.
|
| |
Advanced Computing and Communications, 2008. ADCOM 2008. 16th International Conference on In Advanced Computing and Communications, 2008. ADCOM 2008. 16th International Conference on (2008), pp. 357-362.
|
CiteULike
leonardo's CiteULike
Search
