förklara hur programvaruintensiva system designas, realiseras, valideras, verifieras, driftsättes och underhålles
förklara huvudbegrepp och metoder inom agil programvaruutveckling
förklara huvudbegrepp och metoder inom kontinuerlig utveckling och drift (DevOps)
förklara huvudbegrepp och metoder inom mjukvaruarkitektur för autonoma system
förklara hur funktionella och icke-funktionella systemegenskaper kan fastställas genom model checking, formell verifiering och programvaruinstrumentering
förklara huvudbegrepp och metoder inom molntjänster och datacenter