Programmeren en correctheid

Website:website met extra informatie
Vakcode:INFOPC
Studiepunten:7.5 ECTS
Periode:periode 3 (week 6 t/m 16, dwz 2-2-2009 t/m 17-4-2009; herkansing week 22)
Timeslot:B
Deelnemers:tot nu toe 38 inschrijvingen
Rooster:Let op: m.i.v. het collegejaar 2008/2009 is het rooster te vinden in Osiris
Docenten:Dit is een oud rooster!
vormgroeptijdweekzaaldocent
college          Wishnu Prasetya
  
practicum          Wishnu Prasetya
Ruud Koot
Marcel Sondaar
    
werkcollege          Wishnu Prasetya
Ruud Koot
Marcel Sondaar
    
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

Inspanningsverplichting voor aanvullende toets:De cummulatief van de opdrachten minsten 5.0.
Beschrijving:Onderwerpen die aan bod komen zijn
  1. Hoare logic voor imperatieve programmas
  2. Stapgewijs constructie van invariant
  3. Block, exception, programma aanroep
  4. Abstract datastructuur
  5. Incrementeel constructie van bewijs
  6. Correctheid van functioneel programmas
  7. Hoare logic voor OO programmas
wijzigen?