| |
Formal Methods: Foundations and Applications (2009), pp. 118-133.
|
| |
Formal Methods: Foundations and Applications In SBMF, Vol. 5902 (2009), pp. 236-250.
|
| |
FM 2009: Formal Methods (2009), pp. 140-156.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Cluster Computing, Vol. 5, No. 3. (1 July 2002), pp. 305-314.
|
| |
Algorithms and Architectures for Parallel Processing, 2002. Proceedings. Fifth International Conference on In Algorithms and Architectures for Parallel Processing, 2002. Proceedings. Fifth International Conference on (06 February 2003), pp. 378-383.
|
| |
Review of Policy Research, Vol. 21, No. 6. (2004), pp. 829-837.
|
| |
Computer, Vol. 39, No. 10. (09 October 2006), pp. 72-80.
|
| |
Computer, Vol. 39, No. 2. (2006), 33.
|
| |
In ICSEW '07: Proceedings of the 29th International Conference on Software Engineering Workshops (2007), 39.
|
| |
|
| |
Hum.-Comput. Interact., Vol. 10, No. 1. (1995), pp. 1-37.
|
| |
Commun. ACM, Vol. 42, No. 1. (January 1999), pp. 87-92.
|
| |
Requirements Engineering, IEEE International Conference on, Vol. 0 (2004), pp. 80-89.
|
| |
In QSIC '05: Proceedings of the Fifth International Conference on Quality Software (2005), pp. 169-176.
|
| |
Inf. Softw. Technol., Vol. 50, No. 6. (2008), pp. 579-594.
|
| |
In ICSE '04: Proceedings of the 26th International Conference on Software Engineering (2004), pp. 543-551.
|
| |
interactions, Vol. 11, No. 1. (2004), pp. 14-23.
|
| |
IEEE Software, Vol. 21, No. 1. (2004), pp. 20-22.
|
| |
In ICSE '09: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (2009), pp. 1-11.
|
| |
In Proceedings of the 17th International Symposium on Software Reliability Engineering (2009)
|
| |
|
| |
Fusion Engineering and Design, Vol. 74, No. 1-4. (November 2005), pp. 809-813.
|
| |
|
| |
|
| |
In 16th Asia-Pacific Software Engineering Conference (APSEC 09) (December 2009)
|
| |
In OTM 2009 Workshops (November 2009)
|
| |
|
| |
Journal of Systems and Software (01 September 2009)
|
| |
|
| |
In XP, Vol. 4044 (2006), pp. 133-142.
|
| |
Computer, Vol. 36, No. 6. (June 2003), pp. 57-66.
|
| |
Electr. Notes Theor. Comput. Sci, Vol. 152 (2006), pp. 143-159.
|
| |
Electr. Notes Theor. Comput. Sci, Vol. 152 (2006), pp. 125-142.
|
| |
Electr. Notes Theor. Comput. Sci, Vol. 152 (2006), pp. 125-142.
|
| |
Information Processing Letters, Vol. 25, No. 2. (06 May 1987), pp. 71-76.
|
| |
Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 666-677.
|
| |
SIGCSE Bull. In ITiCSE-WGR '06: Working group reports on ITiCSE on Innovation and technology in computer science education, Vol. 38, No. 4. (2006), pp. 96-114.
|
| |
In SHARK '08: Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge (2008), pp. 29-30.
|
| |
|
| |
In SHARK (2008), pp. 71-78.
|
| |
Software Architectures, Components, and Applications, Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers
[My Copy]
In QoSA, Vol. 4880 (2008)
|
CiteULike
leonardo's CiteULike
Search
