1. Levenscyclusmodellen van software. -Problemen. -Verwijzingen. - 2. Objectgeoriënteerde concepten en modellering. - 2. 1. Basisconcepten van het objectgeoriënteerde paradigma. - 2. 2. Object modellering. - 2. 3. Geavanceerde objectmodellen. -Problemen. -Verwijzingen. - 3. Formele specificatie en verificatie. - 3. 1. Logica van de eerste orde. - 3. 2. Logica en database. - 3. 3. Formele specificatie in Z. - 3. 4. Objectgeoriënteerd logisch systeem. - 3. 5. Algebraïsche specificaties. - 3. 6. Petri Netten. - 3. 7. Specificaties verifiëren. - 3. 8. Slotopmerkingen. -Problemen. -Verwijzingen. - 4. Ontwerpmethodologieën en specificaties. - 4. 1. Ontwerp concepten. - 4. 2. Procesbeschrijving, talen en ontwerpmethodologieën. - 4. 3. Dynamisch en functioneel modelleren. - 4. 4. Objectgeoriënteerde ontwerpmethodologieën. - 4. 5. Ontwerpverificatie en CASE-tools. -Problemen. -Verwijzingen. - 5. Programmeren en coderen. - 5. 1. Objectgeoriënteerde programmeertalen. - 5. 2. C++. - 5. 3. SMALLTALK. - 5. 4. Gedistribueerde programmeertalen. - 5. 5. Communiceren van sequentiële processen en OCCAM. -Problemen. -Verwijzingen. - 6. Programmeerhulpmiddelen. - 6. 1. Objectgeoriënteerd programmeren voor Windows. - 6. 2. IDEAn interactieve programmeeromgeving. - 6. 3. X-venster programmering. - 6. 4. UNIX-netwerk programmeren. -Problemen. -Verwijzingen. - 7. Declaratieve programmering. - 7. 1. Programmering op zeer hoog niveau. - 7. 2. Objectgeoriënteerd declaratief programmeren. - 7. 3. Logica ProgrammerenPROLOG. - 7. 4. COMPOSEEen objectgeoriënteerde programmeeromgeving. -Problemen. -Verwijzingen. - 8. Automatische programmasynthese en hergebruik. - 8. 1. Deductieve programmasynthese. - 8. 2. Transformationele programmasynthese. - 8. 3. Programma-abstractie en -instantiatie. - 8. 4. Automatisch hergebruik van software. -Problemen. -Verwijzingen. - 9. Programmaverificatie en testen. - 9. 1. Formele programmaverificatie. - 9. 2. Black Box testen. - 9. 3. Structureel testen. -9. 4. Op fouten gebaseerd testen. - 9. 5. Automatisch genereren van testgevallen. - 9. 6. Testen en debuggen van gedistribueerde programma's. - 9. 7. Analysetools en softwarestatistieken. -Problemen. -Verwijzingen. - 10. Software onderhoud. - 10. 1. Componenten van softwareonderhoud. - 10. 2. Database- en softwareonderhoud. - 10. 3. Programmeren van objectbases. - 10. 4. Programmabeheer. - 10. 5. Reverse engineering en herstel van het ontwerp. -Problemen. -Verwijzingen. - 11. Geavanceerde programmeeromgevingen. - 11. 1. Op kennis gebaseerde programmeeromgevingen. - 11. 2. Visuele programmeeromgevingen. - 11. 3. Gedistribueerde objectgeoriënteerde programmeersystemen. - 11. 4. Component software. - 11. 5. Programmeeromgevingen voor gelijktijdige engineering. -Verwijzingen. - 12. Andere geselecteerde onderwerpen. - 12. 1. Projectmanagement. - 12. 2. Fouttolerant systeemontwerp. - 12. 3. Discrete simulatie van gebeurtenissen. - 12. 4. Programmering via internet. -Verwijzingen. Taal: Engels