| |
Computer, Vol. 39, No. 2. (2006), pp. 59-66.
|
| |
In Design, Automation and Test in Europe (2005), pp. 832-833.
|
| |
Models in Software Engineering (2007), pp. 318-323.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005), Vol. 160 (8 August 2006), pp. 141-155.
|
| |
Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on In Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on, Vol. 1 (2007), pp. 694-701.
|
| |
Formal Methods: Applications and Technology (2007), pp. 244-260.
|
| |
Engineering Applications of Artificial Intelligence In Agent-oriented Software Development, Vol. 18, No. 2. (March 2005), pp. 141-157.
|
| |
Lecture Notes in Computer Science : Computer Safety, Reliability, and Security (2006), pp. 398-411.
|
| |
In ICSE '06: Proceeding of the 28th international conference on Software engineering (2006), pp. 1069-1070.
|
| |
Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on (2004), pp. 242-251.
|
| |
Visual Languages and Human-Centric Computing, 2005 IEEE Symposium on (2005), pp. 109-116.
|
| |
Software and Systems Modeling, Vol. 6, No. 1. (23 March 2007), pp. 3-35.
|
| |
Lecture Notes in Computer Science : Formal Methods and Software Engineering (2005), pp. 52-65.
|
| |
Lecture Notes in Computer Science : Model Driven Engineering Languages and Systems (2005), pp. 54-68.
|
| |
Lecture Notes in Computer Science : Formal Techniques for Networked and Distributed Systems - FORTE 2006 (2006), pp. 259-274.
|
| |
In EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software (2005), pp. 44-47.
|
| |
In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, Vol. 30, No. 5. (September 2005), pp. 366-369.
|
| |
In CRPIT '04: Proceedings of the 27th conference on Australasian computer science (2004), pp. 73-82.
|
| |
In ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, Vol. 28, No. 5. (September 2003), pp. 38-47.
|
Search
