From specification to implementation