 | |
Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum |
Domande Teoria Terzo Compitino
Clicca QUI per vedere il messaggio nel forum |
| lektronar |
Potrebbero sempre interessare, quindi posto le mie:
1) Come si rende nei diagrammi di stato UML la concorrenza?
2) Integrazione top-down vs bottom-up qualora la relazione 'usa' sia un DAG
3) Un oracolo per P è...
4) Elenca le tecniche di verifica analitica
5) Come si usano in fase di testing le precondizioni dei contratti? |
| xSharKMaNx |
1) Differenza tra scatola nera e trasparente.
2) Dire che tecnica si usa nella scatola nera e che criterio nella trasparente
3)Sia C = {Ei} dire a cosa si riferisce {Ei}
4)Test di sovraccarico
5)Ispezione del Codice |
| mauro21 |
1) un criterio è consistente sse .....
2)che legame c'è tra contratto di un metodo M e oracolo di un metodo M
3)parlare della robustezza e dire in che fase si trova
4)transizioni di stato in UML (sia dal punto di vista grafico che testuale)
5)ispezione del codice, è analitica/empirica e a cosa serve |
|
|
|
|
