(1988), pp. 47-57.
Distributed Computing Systems, 1998. Proceedings. 18th International Conference on (1998), pp. 12-21.
IEEE Trans. Softw. Eng., Vol. 12, No. 8. (August 1986), pp. 811-826.
Software Process Technology (1996), pp. 108-124.
Proceedings of the IEEE, Vol. 68, No. 9. (1980), pp. 1060-1076.
J. Funct. Program., Vol. 15, No. 4. (July 2005), pp. 503-542.
ACM Comput. Surv., Vol. 35, No. 2. (June 2003), pp. 114-131.
ACM Trans. Inter. Tech., Vol. 2, No. 2. (May 2002), pp. 115-150.
Software Engineering, 1998. Proceedings of the 1998 (20th) International Conference on (1998), pp. 177-186.
ACM Trans. Softw. Eng. Methodol., Vol. 1, No. 3. (July 1992), pp. 229-268.
(2005), pp. 59-68.
(1995), pp. 49-61.
(15 March 2000)
(2005), pp. 15-26.
(1999), pp. 122-131.
(15 January 1995)
(2008)
(2006), pp. 134-145.
Communications Magazine, IEEE, Vol. 35, No. 2. (1997), pp. 46-55.
(02 August 2005)
(2005)
Middleware 2003 (2003), pp. 997-997.
Middleware 2006 (2006), pp. 42-61.
(2002), pp. 53-60.
(2003), pp. 120-129.
(2005), pp. 320-330.
Software Reuse: Methods, Techniques and Tools (2004), pp. 127-140.
(1999)
Biometrika, Vol. 57, No. 1. (1970), pp. 97-109.
(2004), pp. 66-73.
(2007), pp. 1-8.
Transactions on Aspect-Oriented Software Development II (2006), pp. 147-181.
Journal of Functional Programming, Vol. 16, No. 2. (2006), pp. 197-217.
(2002), pp. 141-147.
Software Engineering, IEEE Transactions on, Vol. 24, No. 10. (1998), pp. 831-847.
(02 August 1995)
Rigorous Development of Complex Fault-Tolerant Systems (2006), pp. 210-225.
J. ACM, Vol. 50, No. 1. (January 2003), pp. 63-69.
Computer Design: VLSI in Computers and Processors, 1990. ICCD '90. Proceedings., 1990 IEEE International Conference on (1990), pp. 220-223.
(2000)
(2007)
SIGSOFT Softw. Eng. Notes, Vol. 29, No. 6. (November 2004), pp. 147-158.
Relational and Kleene-Algebraic Methods in Computer Science (2004), pp. 21-33.
(2001), pp. 12-23.
(2003)
Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on (2002), pp. 383-392.
Automated Software Engineering, Vol. 12, No. 3. (July 2005), pp. 349-382.
Vol. 26, No. 5. (September 2001), pp. 152-163.
(15 June 1999)