summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCamil Staps2016-04-29 17:22:59 +0200
committerCamil Staps2016-04-29 17:22:59 +0200
commit55b7e296f688a9f54e392d9ad6a3e8727c4eb25d (patch)
tree70ef4e38a694876ed3145adb42f80d33c812c681
parentDames gaan voor (diff)
analyse & planning aan organisatie toegevoegd
-rw-r--r--org.tex6
1 files changed, 5 insertions, 1 deletions
diff --git a/org.tex b/org.tex
index 09f53a7..434e674 100644
--- a/org.tex
+++ b/org.tex
@@ -7,5 +7,9 @@ programmatoestand en de transities in de natuurlijke semantiek die we gaan
definiëren. \autoref{sec:rules} beschrijft vervolgens per statement in de
syntax de formele semantiek. Hierbij baseren we ons op de Smurf specificatie
\cite{safalra}, waarbij we dingen verhelderen en ongedefinieerd gedrag
-definiëren.
+definiëren. In \autoref{sec:anal} bekijken we een stuk code aan de hand van de
+gedefinieerde regels.
+
+\autoref{sec:planning} bevat een planning voor het afwerken van het werkstuk,
+die uiteindelijk verwijderd zal worden.