Un método alternativo es la "derivación de programas", «desarrollar prueba y programa conjuntamente».