design-by-contract public under software-development-methodology 8 List Picture As a command Nothing is filed under design-by-contract.