Une approche disciplinée à la conception de logiciels qui adhère à un ensemble spécifié de règles basées sur des principes tels que la conception descendante, raffinement progressif et analyse de flux de données.