Una tècnica de desenvolupament de programari en el qual l'estructura d'un sistema es deriva d'analitzar les operacions que el sistema s'exigeix al procés.