Sono soddisfatti i requisti funzionali?