Die Verfeinerung einer Systembeschreibung entspricht der Aufspaltung eines Systems in Teilsysteme und deren Beschreibung. Durch Verfeinerung erhaltene Teilsysteme können durch weitere Verfeinerung wieder in Teilsysteme (Komponenten) aufgespalten werden. Dieser Vorgang wird bis zum implementierten System fortgesetzt.