| che cosa dice la prima legge di R. Glass? | La mancanza di requisiti è la prima causa del fallimento di un progetto. |
| cosa dice la legge di Nielsen- Norman? | L’usabilità è misurabile. |
| cosa dice la legge di McIlroy | Riutilizzare il software permette di incrementare la produttività e la qualità. |
| che cosa dice la legge di David e in che ambito viene usata? | usata nell'ambito della analisi e specifica dei requisiti afferma che :
Il valore dei modelli che rappresentano il software da diversi punti di vista dipendono dal punto di vista preso (assunto), ma non c’è nessuna vista che è la migliore per ogni scopo. |
| che cosa dice l'ipotesi di Bauer-Zemane? | Metodi formali riducono in maniera significativa gli errori di progettazione, oppure permettono di eliminarli e risolverli prima. |
| cosa dicono le Leggi di M. Lehman ? | Un sistema che viene utilizzato cambierà.
Un sistema che evolve incrementa la sua complessita a meno che non si lavori appositamente per ridurla. |
| che cosa dice la legge di Bohem a proposito dei prototipi? | La propotipizzazione riduce gli errori di analisi dei requisiti e di design, specialmente per le interfacce utente. |
| che cosa afferma la legge di Fagan | "Le ispezioni aumentano in maniera significativa la produttività, qualità e la stabilità del progetto." |
| che cosa afferma la legge di Legge di Hetzel-Meyer? | "Una combinazione di diversi metodi di V/C supera qualsiasi metodo singolo." |
| che cosa afferma la Legge di Weinberg ? | "Uno sviluppatore non è adatto a testare il suo codice." |
| che cosa dice l'ipotesi di Dijkstra? | Il test di un programma può rilevare la presenza di malfunzionamenti ma non dimostrarne l’assenza.
Non esiste quindi un algoritmo che dato un programma arbitrario P
generi un test ideale finito
(il caso T=D
non va considerato). |
