Updates to L05

Lectures/L05_ProgramFamilies/ProgramFamilies.tex

@@ -65,6 +65,7 @@
 
 \bi
 \item Administrative details
+\item Motivate Rigorous Process %including documentation
 \item Finish up SRS
 \item Specification Qualities
 \item Motivation for Families
@@ -170,6 +171,36 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+\begin{frame}
+\frametitle{Motivation: Solar Water Heating System}
+\bi
+\item Given code for
+\href{https://github.com/smiths/swhs/tree/master/src/Program/Python} {Solar
+Water Heating System}
+\item Asked to
+\begin{itemize}
+  \item Verify that the code is correct
+  \item Supervise a team maintaining the code
+  \item Add thermal cooling from the tank
+  \item Create a new code for the thermal analysis of reactor fuel pins
+\end{itemize}
+\ei
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\begin{frame}
+\frametitle{Accompanying ``Specification''}
+
+\href{https://www.sciencedirect.com/science/article/pii/S0038092X17310174\#b0150} {A Journal Paper}\\
+\begin{center}
+ \includegraphics[width=1.1\textwidth]{../Figures/JournalSWHSTheory.png}
+\end{center}
+
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
 \begin{frame}
 \frametitle{More Example Projects}
 \bi