Яка з наведених моделей розробки програмного забезпечення є прикладом водоспадної моделі?