Programmeren en correctheid

Website:

website met extra informatie

Vakcode:

INFOPC

Studiepunten:

7.5 ECTS (=5.25 oude studiepunten)

Periode:

periode 4 (week 17 t/m 27, dwz 24-4-2006 t/m 7-7-2006; herkansing week 35)

Timeslot:

Deelnemers:

tot nu toe 41 inschrijvingen

Rooster:

Dit is een oud rooster!

vorm	groep	tijd	week	zaal	docent
college		ma 13-15	17,20	KRUYT-O111	Wishnu Prasetya
			18,22	Rup-blauw
			19	WENT-N017
			24	AARD-C008
			25,26	AARD-klein
		vr 11-13	17,19,20,22-26	MIN-208
practicum	groep 1	wo 13-15	24-26	BBL-458	Thomas van Noort
	groep 1	vr 15-17	24,25	BBL-458	Thomas van Noort
	groep 2	di 13-15	24,25	BBL-412	Wouter Wassing
	groep 2	vr 15-17	24,25	BBL-412	Wouter Wassing
werkcollege					Arthur van Leeuwen
	groep 1	wo 13-15	17	BBL-426	Thomas van Noort
		wo 13-15	18-20,22,23,26	BBL-106
		vr 13-15	17,19,20,22,23, 26	BBL-420
	groep 2	di 13-15	17	BBL-420	Wouter Wassing
			18,19,23,24,26	BBL-108a
			20	MIN-012
			22	MIN-016
			25	BBL-107a
		vr 15-17	17,19,20,22,23, 26	BBL-416

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, werkcollege, en practicum.

Toetsvorm:

3 opdrachten, 1 mid-tentamen, 1 eindtentamen

eindcijfer = 0.2 * cummulatief opdrachten + 0.3 * mid-tent. + 0.5 * eind-tent

cummulatief opdrachten = 0.3 * opdracht1 + 0.4 * opdracht2 + 0.3 * opdracht3

Alle opdrachten zijn verplicht, en bovendien moet je minimaal 4 voor het eindentamen halen.

Inspanningsverplichting voor aanvullende toets:

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

Beschrijving:

Onderwerpen die aan bod komen zijn

Hoare logic voor imperatieve programmas
Stapgewijs constructie van invariant
Block, exception, programma aanroep
Abstract datastructuur
Incrementeel constructie van bewijs
Correctheid van functioneel programmas
Hoare logic voor OO programmas

wijzigen?