Een gedisciplineerde benadering van ontwerp van software die aan een opgegeven set van regels op basis van beginselen zoals top-down ontwerpen, stapsgewijze verfijning en dataflow analyse voldoet.