Beweren en bewijzen/supplement/planning (voor docenten)/mijlpaal/4
|
Alle voor het werkstuk nodige stof is nu behandeld, met uitzondering van de deductieregels voor quantoren. Dat betekent dat het werkstuk nu, op het correctheidsbewijs na, voltooid kan worden. Pas bij het schrijven van specificaties en formuleren van de correctheidsstelling zullen vragen boven water komen die nog niet voldoende doordacht zijn. Steeds meer onderzoekers zijn het erover eens: de meeste fouten en inconsistenties vindt man gedurende het proces dat toewerkt naar een correctheidsstelling. |
Met deze mijlpaal moeten de contouren van het werkstuk helemaal duidelijk worden, en dat lukt alleen als het enigszins compleet en consistent is.
Veel werkstukken liggen nog niet op schema:
|
Categorie BenB state red is niet gevonden
|
|
Categorie BenB state orange is niet gevonden
|
Op die manier mis je wellicht de kans om op tijd feedback te krijgen.
- Omvang
- Alle eerdere mijlpalen moeten zijn gehaald.
- Specificatie van het geheel: formeel en informeel
- Specificatie van de onderdelen: formeel en informeel
- De formele specificaties samengevoegd tot een correctheidsstelling.
- Consistentie
- De informele en de formele specificaties, de lijst van onderdelen, het functioneel netwerk, het domeinmodel en de correctheidsstelling moeten nu bij elkaar passen;
- Een eerste versie van een formele correctheidsstelling, voldoende aan de criteria in Beweren en bewijzen/het verhaal/2. Systeemtheorie, leesbaar gepresenteerd, moet er zijn. Deze hoeft nog niet precies te kloppen. Een bewijs wordt nog niet verlangd.
- Signaalkleur
- Haal de kleurcode weg en laat alleen dit staan als signaal dat het werk opnieuw bekeken kan worden:
{{BenB/state|~~~~}}
Na deze mijlpaal kunnen twee parallelle processen beginnen:
- In overleg met de docenten aanpassing van het ambitieniveau.
- Het werk moet binnen het bestek van de cursus behapbaar zijn. Het werkstuk moet een proeve van bekwaamheid worden, dus voldoende body hebben.
- Het bewijzen van de correctheidsstelling.
- Het is volkomen normaal dat daarbij specificaties aangepast en onderdelen toe- dan wel samengevoegd worden.
Jullie werkstuk moet vóór de aangegeven deadline bijgewerkt zijn. 
