Alain Caplain Checking Software Development Processes. 113-122 2004 conf/ifip/2004sf IFIP Student Forum db/conf/ifip/ifip2004sf.html#Caplain04