Programvaruteknik
Behörighet: 120 hp, varav minst 40 i datavetenskap.
Innehåll: Kravdefinition och kravspecifikation, prototyper, formell specifiering, designmetoder, tillförlitlighet och säkerhet, validering och verifiering, systemunderhåll, återanvändning, projektplanering, kvalitetssäkring.