Sono soddisfatti i requisti funzionali ?