| |
Formal Methods and Software Engineering (2009), pp. 20-48.
|
| |
|
| |
Empirical Softw. Engg., Vol. 3, No. 3. (1998), pp. 233-253.
|
| |
J. Syst. Softw., Vol. 79, No. 6. (2006), pp. 871-888.
|
| |
Journal of Systems and Software In Selected papers from the 11th Asia Pacific Software Engineering Conference (APSEC2004), Vol. 79, No. 7. (July 2006), pp. 912-925.
|
| |
Software Architecture (2007), pp. 92-105.
|
| |
In Workshop on Methods and Techniques for Software Architecture Review and Assessment at the International Conference on Software Engineering (2002)
|
| |
Quality of Software Architectures (2006), pp. 180-198.
|
| |
Sci. Comput. Program., Vol. 57, No. 1. (2005), pp. 109-128.
|
| |
Commun. ACM, Vol. 52, No. 11. (2009), pp. 74-84.
|
| |
|
| |
In Proc. 3rd Intl. Workshop on Applications of Graph Transformation with Industrial Relevance (AGTIVE '07), Vol. NN (2008), pp. 514-539.
by Rubino Geiß, Gabriele Taentzer, Enrico Biermann, et al.Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Ákos Horvath, Ole Kniemeyer, Tom Mens, Benjamin Ness
|
| |
In On the Move to Meaningful Internet Systems: OTM 2009 Workshops, Vol. 5872 (2009), pp. 316-326.
|
| |
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)
|
| |
|
| |
Journal of Systems and Software (01 September 2009)
|
| |
|
CiteULike
leonardo's CiteULike
Search
