Beweren en bewijzen/supplement/planning (voor docenten)/mijlpaal/6
|
Alle voor het werkstuk nodige stof is nu behandeld. Dat betekent dat het werkstuk nu 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. |
Dit is de laatste mijlpaal voor het definitieve inleverdatum. Op dingen die ja na deze mijlpaal maakt, krijg je geen feedback meer, alleen een beoordeling.
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.
- Door Coq gecontrolerd bewijs, in Fidge-notatie
- Consistentie
- De informele en de formele specificaties, de lijst van onderdelen, het functioneel netwerk, het domeinmodel en de correctheidsstelling moeten nu bij elkaar passen;
- Signaalkleur
- Haal de kleurcode weg en laat alleen dit staan als signaal dat het werk opnieuw bekeken kan worden:
{{BenB/state|~~~~}}
Jullie werkstuk moet vóór de aangegeven deadline bijgewerkt zijn. 
