probably final presentation version

[msc-thesis1617.git] / pres.intro.tex

diff --git a/pres.intro.tex b/pres.intro.tex
index a2cb5b4..2ffc7ba 100644 (file)
--- a/pres.intro.tex
+++ b/pres.intro.tex
@@ -22,16 +22,14 @@
 
 \begin{frame}
        \frametitle{Problems with IoT}
-       \begin{itemize}
+       \begin{itemize}[<+->]
                \item Device $\rightarrow$ Server $\rightarrow$ Application
-               \pause{}
                \item Myriads of devices: Arduino, ESP8266, Raspberry pi\ldots
-               \pause{}
                \item Tons of languages: C++, Lua, C, python\ldots
-               \pause{}
                \item Heaps of communication methods: LoRa (Sigfox, KPN, TTN), BTLE, WiFi, ZigBee\ldots
-               \pause{}
+               \item Resulting in
                \item Separated logic
+               
                \item Integration problems
        \end{itemize}
 \end{frame}
@@ -46,7 +44,6 @@
                        \item EDSL in Clean
                \end{itemize}
        \end{block}
-       \pause{}
        \begin{block}{Tasks}
                \begin{itemize}[<+->]
                        \item Filling in forms
@@ -72,7 +69,7 @@
                \begin{itemize}
                        \item iTasks works
                        \item IoT works
-                       \item But...\pause{} integration does not
+                       \item But\ldots\pause{} integration does not
                \end{itemize}
        \end{block}
 
@@ -80,9 +77,10 @@
 
        \begin{block}{Why is this interesting?}
                \begin{itemize}[<+->]
-                       \item Make IoT integration easier
+                       \item Makes IoT integration easier
+                       \item Safer IoT clients
                        \item Extend the reach of iTasks
-                       \item Fully integrated systems
+                       \item Generate all three components of IoT from one source
                \end{itemize}
        \end{block}
 \end{frame}
@@ -96,13 +94,12 @@
                        \item Observables
                        \item Given the state, a \CI{TaskValue} is observed.
                        \item Continuous execution
-                       \item Generics
                \end{itemize}
        \end{block}
        \pause{}
        \begin{figure}[ht]
                \centering
-               \includegraphics[width=\linewidth]{fig-taskvalue}
+               \includegraphics[width=.6\linewidth]{fig-taskvalue}
                \caption{The states of a \CI{TaskValue}}
        \end{figure}
 \end{frame}
@@ -169,10 +166,12 @@ enterName = enterInformation "Enter your name" []
 \begin{frame}[fragile]
        \frametitle{Shared Data Sources (SDS)}
        \begin{block}{What is an SDS}
-               \begin{itemize}[<+->]
+               \begin{itemize}
                        \item Read function
                        \item Write function
+                       \pause{}
                        \item Both have access to the world
+                       \item Default: JSON file storage
                \end{itemize}
        \end{block}
 
@@ -201,6 +200,6 @@ wait :: String (r -> Bool) (ReadWriteShared r w) -> Task r
 \end{frame}
 
 \begin{frame}
-       \frametitle{But not all Tasks or SDSs are suitable for microcontrollers\ldots}
-       \pause\centering\Large EDSLs to the rescue
+       \frametitle{How to express Tasks suitable for microcontrollers}
+       \pause\centering\Huge EDSLs to the rescue
 \end{frame}