Programmeren en correctheid

Vakcode:

WIPC

Studiepunten:

5.72 ECTS (=4 oude studiepunten)

Periode:

periode 2 (week 44 t/m 51, dwz 28-10-2002 t/m 20-12-2002; herkansing week 10)

Deelnemers:

tot nu toe 75 inschrijvingen

Rooster:

Dit is een oud rooster!

vorm	groep	tijd	week	zaal	docent
college		ma 15-17	44-50	Rup-rood	Wishnu Prasetya
college		do 09-11	44-50	MIN-208	Wishnu Prasetya
tentamen		do 09-12	51	Rup-wit
werkcollege	groep 1	di 11-13	44-50	BBL-426	Ade Azurat Wishnu Prasetya Niels Reijngoud
	groep 1	do 13-15	44-50	BBL-426	Ade Azurat Wishnu Prasetya Niels Reijngoud
	groep 2	di 13-15	44-50	BBL-508	Cees Pierik Wijnand Suijlen
	groep 2	vr 11-13	44-50	BBL-107a	Cees Pierik Wijnand Suijlen

Inhoud:

In de praktijk wordt de kwaliteit van software bewaakt door de software uitgebreid te testen. Maar een programma uitputtend testen is meestal onmogelijk. Je vindt dus niet alle fouten! Omdat de mensen steeds afhankelijker van software zijn geworden, moeten we gaan kijken naar een betere manier om de betrouwbaarheid van software te garanderen.

In dit college gaan we programeerlogica leren. Het is een methode om een programma correct aan te tonen zonder wij de programma hoeven te testen. De methode is volledig: een correct aangetoond programma voldoet echt aan zijn specificatie. Er zijn geen sluipende fouten meer! Het ontwikkelen van betrouwbare software kost eenmaal meer moeite. Het principe van programmerlogica is eenvoudig, maar het uitoefenen daarvan eist veel abstractie en dicipline, wat je ook tijdens de cursus gaat oefenen.

Literatuur:

collegedictaat.

Werkvorm:

college en werkcollege.

Toetsvorm:

tentamen.

Inspanningsverplichting voor aanvullende toets:

Om aan de aanvullende toets te mogen meedoen is ontbreken van ten hoogte 1 toetsactiviteit toegestaan.

wijzigen?