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
Nota ponderada
NP(x) = P + MAX(0,2 * AC + 0,4 * x ; 0,6 * x)
NP0 = MIN(NP(0) ; 4)
NP1 = MIN(NP(3,5) ; 4)
NP2 = NP(ET)
Nota final
NF =
NP0 + (NP1 - NP0) * ET / 3,5 si ET < 3,5
NP1 + (NP2 - NP1) * (ET - 3,5) / 1,5 si 3,5 <= ET < 5
NP2 si ET >= 5
OBSERVACIONS I EXCEPCIONS:
- L'examen de teoria/problemes inclourà un test eliminatori. Si la nota del test és inferior a 3,5, aleshores la nota de l'examen serà la nota del test.
- Els exercicis i pràctiques d'avaluació continuada es faran a l'aula d'informàtica durant el curs. Són opcionals.
- No es convaliden pràctiques de cursos anteriors.
- La pràctica en equip és obligatòria: si no està presentada dins de termini o no està acceptada, aleshores la nota final serà de "No presentat".
- Hi haurà un termini d'entrega de la pràctica en equip previ a cada convocatòria d'examen (aquests terminis s'indicaran a l'enunciat de la pràctica).
- PER A LA 2ª CONVOCATÒRIA:
* Es guarden totes les notes de la 1ª convocatòria, excepte la de l'examen de teoria/problemes (ET). És a dir, cal fer obligatòriament l'examen de teoria/problemes en 2ª convocatòria si no es supera l'assignatura en 1ª convocatòria.
* Si es torna a entregar la pràctica en equip caldrà tornar a fer l'examen de la pràctica.
* Es pot tornar a fer l'examen de la pràctica en equip encara que no es torni a entregar la pràctica, però en tal cas prevaldrà l'última nota.