Ohjelmiston kehitys tekniikka, jossa tiedot ja numeroiduista määritellään laajasti ensin ja sitten määritellään yksityiskohtaisemmin yksityiskohdat.