Raccolta tde degli anni precedenti

Pagina 1

1 Politecnico di Milano Ingegneria del Software – a.a. 2005/06 Appello del 10 luglio 2006 Cognome Nome Matricola Sezione (segnarne una) Baresi
, Ghezzi
, Morzenti
, SanPietro
Istruzioni 1. La mancata indicazione dei dati anagrafici e della sezione comporta l’annullamento del compito. 2. Al termine, consegnare solo i fogli distribuiti utilizzando il retro delle pagine in caso di necessità. Non separare questi fogli. Eventuali fogli di brutta, ecc. non verranno in nessun caso presi in consi- derazione. È possibile scrivere in matita. 3. È possibile consultare liberamente libri, manuali o appunti. È proibito l’uso di ogni dispositivo elettro- nico (quali calcolatrici tascabili, telefoni cellulari, e cc.). 4. Non è possibile lasciare l’aula conservando il tema della prova in corso. 5. Tempo a disposizione: 2h. 6. Punteggio totale a disposizione: 25/30. La sufficienza si raggiunge con 16 punti, a cui sommare il ri- sultato delle prove di laboratorio. Esercizio 1: ................ Esercizio 2: ................ Totale ................ 2 Esercizio 1 (punti 9) Il metodo statico trasposta ha come argomenti due interi n,m>=1, e due matrici A e T (di interi) costituite, rispettivamente, da n righe e m colonne, e da m righe e n colonne. Il metodo, senza alterare il contenuto di A, memorizza in T la matrice trasposta di A. Si rammenta che una matrice T è la trasposta di una ma- trice A se, e solo se, T è ottenuta da A scambiando le righe con le colonne. Si ricorda che in Java le ma- trici sono dichiarate come array di array. Ad esempio, A[0] è l’array che contiene la prima riga della ma- trice, A[1] la seconda, ecc. A[0][1] è quindi l’elemento A 12 della matrice A. a- Si scriva la specifica formale in JML del metodo. //@ requires n>=1 && m>=1 && A.length == n && T.length == m…