1. Disseny modular orientat a objectes
1.1. Conceptes bàsics
1.1.1. Descomposició i abstracció
1.1.2. Formes d'abstracció
1.1.3. Indepèndencia de la representació
1.2. Mòduls Funcionals vs Tipus de Dades
1.3. Jerarquia de tipus
1.3.1. Herència vs Subtipatge
1.3.2. El principi de substitució
1.3.3. Sobreescriptura i Sobrecàrrega
1.3.4. Tipus aparent i tipus real
1.3.5. Assignació i lligam missatge-mètode
1.3.6. Polimorfisme
1.3.7. Genericitat
1.3.8. Covariància i Contravariància
1.4. Ajuts per a entendre les implementacions
1.4.1. Funció d'abstracció
1.4.2. Invariant de la representació
1.5. Herència
1.5.1. Bons i mals usos de l'herència
1.5.2. Compatibilitat de les especificacions Pre/Post
1.5.3. Mutabilitat
1.5.4. Composició vs Herència
1.6. Exemples de disseny
2. Especificació i raonament formal
2.1. Raonament inductiu
2.1.1. Recursivitat avançada
2.2. Especificació equacional de Tipus de Dades
2.3. Introducció als mètodes formals en el disseny d'algorismes
2.3.1. Problemàtica dels errors
2.3.2. Programar amb especificacions
2.3.3. Testeig vs Derivació/Verificació
2.3.4. Notació de Hoare
2.4. Especificació formal d'operacions. Precondicions i postcondicions
2.5. Derivació i verificació formal d'algorismes
2.5.1. Semàntica axiomàtica
2.5.2. Verificació de programes recursius
2.5.3. Construcció de programes per generalització
2.5.4. Transformació recursiu-iteratiu
2.5.5. Derivació i verificació de programes iteratius
LA QUALIFICACIÓ CONSTA DE LES SEGÜENTS PARTS:
1. Exercicis i pràctiques d'avaluació continuada (AC)
2. Pràctica en equip (PR)
3. Exàmens
(a) Examen de la pràctica en equip (EP)
(b) Examen de teoria/problemes (ET)
Entenent que AC, PR, EP i ET representen els valors numèrics entre 0 i 10 de les qualificacions de les diferents parts, definim:
Nota de pràctiques
P =
(0,3 * PR) + (0,1 * EP) si EP >= 5
(0,3 * PR * EP / 5) + (0,1 * EP) si EP < 5
N0 = MIN(f(0) ; 4)
N1 = MIN(f(3,5) ; 4)
N2 = MAX(f(5) ; f(ET))
on f(x) = P + MAX(0,2 * AC + 0,4 * x ; 0,6 * x)
Nota final
NF =
N0 + (N1 - N0) * ET / 3,5 si ET < 3,5
N1 + (N2 - N1) * (ET - 3,5) / 1,5 si 3,5 <= ET < 5
N2 si ET >= 5
OBSERVACIONS:
- Els exercicis i pràctiques d'avaluació continuada són opcionals.
- La pràctica en equip és obligatòria.
- No es convaliden pràctiques de cursos anteriors.
- Només hi haurà un termini d'entrega per a la pràctica en equip (previ a la primera convocatòria d'examen).
- En segona convocatòria es guarden les notes de la primera convocatòria per defecte. En cas de tornar-se a examinar alguna part, prevaldrà l'última nota.
- La qualificació de "No Presentat" l'obtindran només aquells alumnes que no presentin la pràctica en equip i no es presentin a cap examen.