diff --git a/pub/proposal/proposal.pdf b/pub/proposal/proposal.pdf index d670464..e4b2191 100644 Binary files a/pub/proposal/proposal.pdf and b/pub/proposal/proposal.pdf differ diff --git a/pub/proposal/proposal.tex b/pub/proposal/proposal.tex index b04a029..40e8827 100644 --- a/pub/proposal/proposal.tex +++ b/pub/proposal/proposal.tex @@ -1,4 +1,4 @@ -\documentclass[a4paper]{article} +\documentclass[a4paper, british]{article} \usepackage{csquotes} @@ -14,6 +14,8 @@ \usepackage{pgfgantt} \usepackage{moresize} +\usepackage{babel} + % For referencing \usepackage[citestyle=ieee]{biblatex} \addbibresource{references.bib} @@ -289,7 +291,10 @@ As a result, this will also test the reproducibility of the checklist's goal. %\ganttlinkedmilestone{Finish Model}{2024-03-24} \ganttnewline % Frontend - \ganttgroup{Manager}{2024-03-11}{2024-03-24} \ganttnewline + \ganttgroup{ + Checklist \ganttalignnewline + Manager% + }{2024-03-11}{2024-03-24} \ganttnewline \ganttbar{% Create\ganttalignnewline Frontend% @@ -384,9 +389,10 @@ during the holidays is to prevent the problem of getting up to speed again once the term starts, hence the tasks are simple which should allow for taking more breaks from work during the holidays. -The last tasks in the VDM modelling is not essential to provide a proof of -concept of the checklist tester, as they are features that would improve the -test quality. This would allow for redundancy if time were to become a problem +The last tasks in the Vienna Development Method (VDM)~\cite{vdm} modelling +is not essential to provide a proof of concept of the checklist tester, +as they are features that would improve the test quality. +This would allow for redundancy if time were to become a problem as these tasks could be taken out, in favour of writing the dissertation, and could be implemented at another time. diff --git a/pub/proposal/references.bib b/pub/proposal/references.bib index e148501..d35853a 100644 --- a/pub/proposal/references.bib +++ b/pub/proposal/references.bib @@ -75,3 +75,10 @@ url = {https://www.caa.co.uk/cap745}, } +@online{vdm, + author = {The Overture Project}, + title = {The Vienna Development Method}, + url = {https://www.overturetool.org/method/}, + urldate = {2024-02-23}, +} +