From analysis to implementation