1. Modeller for softwarelivscyklus. -Problemer. -Referencer. - 2. Objektorienterede begreber og modellering. - 2. 1. Grundlæggende begreber i det objektorienterede paradigme. - 2. 2. Modellering af objekter. - 2. 3. Avancerede objektmodeller. -Problemer. -Referencer. - 3. Formel specifikation og verifikation. - 3. 1. Førsteordens logik. - 3. 2. Logik og database. - 3. 3. Formel specifikation i Z. - 3. 4. Objektorienteret logisk system. - 3. 5. Algebraiske specifikationer. - 3. 6. Petri net. - 3. 7. Verificering af specifikationer. - 3. 8. Afsluttende bemærkninger. -Problemer. -Referencer. - 4. Designmetoder og specifikationer. - 4. 1. Design koncepter. - 4. 2. Procesbeskrivelsessprog og designmetoder. - 4. 3. Dynamisk og funktionel modellering. - 4. 4. Objektorienterede designmetoder. - 4. 5. Designverifikation og CASE-værktøjer. -Problemer. -Referencer. - 5. Programmering og kodning. - 5. 1. Objektorienterede programmeringssprog. - 5. 2. C++. - 5. 3. SMALLTALK. - 5. 4. Distribuerede programmeringssprog. - 5. 5. Kommunikation af sekventielle processer og OCCAM. -Problemer. -Referencer. - 6. Programmering af værktøjer. - 6. 1. Objektorienteret programmering til Windows. - 6. 2. IDEAn interaktivt programmeringsmiljø. - 6. 3. X-vindue programmering. - 6. 4. Programmering af UNIX-netværk. -Problemer. -Referencer. - 7. Deklarativ programmering. - 7. 1. Programmering på meget højt niveau. - 7. 2. Objektorienteret deklarativ programmering. - 7. 3. Logisk programmeringPROLOG. - 7. 4. KOMPONER et objektorienteret programmeringsmiljø. -Problemer. -Referencer. - 8. Automatisk programsyntese og genbrug. - 8. 1. Deduktiv programsyntese. - 8. 2. Syntese af transformationsprogram. - 8. 3. Programabstraktion og instantiering. - 8. 4. Automatisk genbrug af software. -Problemer. -Referencer. - 9. Programverifikation og test. - 9. 1. Formel programverifikation. - 9. 2. Test af sort boks. - 9. 3. Strukturel testning. -9. 4. Fejlbaseret test. - 9. 5. Automatisk generering af testcases. - 9. 6. Test og fejlfinding af distribuerede programmer. - 9. 7. Analyseværktøjer og softwaremålinger. -Problemer. -Referencer. - 10. Vedligeholdelse af software. - 10. 1. Komponenter til softwarevedligeholdelse. - 10. 2. Vedligeholdelse af database og software. - 10. 3. Programmering af objektbaser. - 10. 4. Programledelse. - 10. 5. Reverse engineering og designgendannelse. -Problemer. -Referencer. - 11. Avancerede programmeringsmiljøer. - 11. 1. Vidensbaserede programmeringsmiljøer. - 11. 2. Visuelle programmeringsmiljøer. - 11. 3. Distribuerede objektorienterede programmeringssystemer. - 11. 4. Komponent software. - 11. 5. Programmeringsmiljøer til samtidig teknik. -Referencer. - 12. Andre udvalgte emner. - 12. 1. Projektledelse. - 12. 2. Fejltolerant systemdesign. - 12. 3. Diskret hændelsessimulering. - 12. 4. Internet-programmering. -Referencer. Sprog: Engelsk