Modele formale pentru dezvoltarea proiectului.