Une approche rigoureuse de la conception de logiciels qui adhère à un ensemble spécifié de règles fondées sur des principes tels que la conception de haut en bas, de raffinement graduel et analyse de flux de données.