Irakasgaiaren helburu nagusiak honako hauek dira:

- Aplikazioak modu sendo eta seguruan analizatu, diseinatu, sortu eta mantentzeko gaitasuna.

- Programak espezifikatu, dokumentatu, balidatu eta egiaztatzeko gaitasuna.

- Programen inguruko propietateak justifikatu eta arrazonatzeko gaitasuna.

- Kalitatearen ikuspegitik programen espezifikazioa eta dokumentazioa baloratzeko gaitasuna.

- Iterazioa eta errekurtsibitatearen arteko erlazioa ezagutzea.

- Programak transformatzeko teknikaren menperatzea.

- Programak espezifikatzeko eta diseinatzeko sistema formalen menperatzea.

- Programazio lengoaien semantika axiomatikoaren oinarriak ezagutzea.
Azken aldaketa: astelehena, 2012(e)ko azaroaren 26(e)an, 16:36(e)tan