design-by-contract public under software-development-methodology 8 List Picture As a command %3 n0 design-by-contract n1 software-development-methodology n1->n0