X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=intro%2Fintro.tex;fp=intro%2Fintro.tex;h=e35294f73f0d273e8e99140ac932cd6dc01ba3b0;hb=5bc326c89f63bd6eab3e09ddc83006021745e1f2;hp=b726a6c416c276408ee8d121b7c669898492d3a6;hpb=adcda9a326216c71bcc240dfc6882f95b183b102;p=phd-thesis.git

diff --git a/intro/intro.tex b/intro/intro.tex
index b726a6c..e35294f 100644
--- a/intro/intro.tex
+++ b/intro/intro.tex
@@ -76,7 +76,7 @@ The following sections in this prelude provide background material on the \gls{I
 \section{\texorpdfstring{\Glsxtrlong{IOT}}{Internet of things}}%
 \label{sec:back_iot}
 The \gls{IOT} is growing rapidly, and it is changing the way people and machines interact with each other and the world.
-While the term \gls{IOT} briefly gained interest around 1999 to describe the communication of \gls{RFID} devices \citep{ashton_internet_1999,ashton_that_2009}, it probably already popped up halfway the eighties in a speech by \citet{peter_t_lewis_speech_1985}:
+While the term \gls{IOT} briefly gained interest around 1999 to describe the communication of \gls{RFID} devices \citep{ashton_internet_1999,ashton_that_2009}, it probably already popped up halfway the eighties in a speech by \citet{lewis_speech_1985}:
 
 \begin{quote}
 	\emph{The \glsxtrlong{IOT}, or \glsxtrshort{IOT}, is the integration of people, processes and technology with connectable devices and sensors to enable remote monitoring, status, manipulation and evaluation of trends of such devices.}
@@ -244,6 +244,7 @@ The individual components in the miniature systems, the tasks, the \glspl{SDS},
 \subsection{The \texorpdfstring{\gls{ITASK}}{iTask} system}
 The concept of \gls{TOP} originated from the \gls{ITASK} framework, a declarative language and \gls{TOP} engine for defining interactive multi-user distributed web applications.
 The \gls{ITASK} system is implemented as an \gls{EDSL} in the programming language \gls{CLEAN}\footnote{\Cref{chp:clean_for_haskell_programmers} contains a guide for \gls{CLEAN} tailored to \gls{HASKELL} programmers.} \citep{plasmeijer_itasks:_2007,plasmeijer_task-oriented_2012}.
+It has been under development for over fifteen years and has proven itself through use in industry for some time now as well \citep{top_software_viia_2023}.
 From the structural properties of the data types and the current status of the work to be done, the entire \gls{UI} is automatically generated.
 Browsers are powering \gls{ITASK}'s presentation layer.
 The framework is built on top of standard web techniques such as JavaScript, HTML, and {CSS}.