Tworzenie z użyciem metod formalnych
Tworzenie z użyciem wielokrotnym
Metody inżynierii oprogramowania