Updates to L13 lecture

Lectures/Deadlines.tex

@@ -67,13 +67,13 @@ Unit VnV/Implement & Week 12 & Week of Apr 3\\
 % \ei
 
 \item Syst V\&V Plan Present (L11, L12) (20 min)
-\bi
+%\bi
 %\item \textbf{Feb 13: Fasil, Hunter, Phil, Adrian}
-\item \textbf{Feb 16: Gaofeng, Al, Seyed Ali, Xinyu}
-\ei
+%\item \textbf{Feb 16: Gaofeng, Al, Seyed Ali, Xinyu}
+%\ei
 \item Proof of Concept Demonstrations (L14) (20 min)
 \bi
-\item {Mar 1: Cynthia, Valerie, Waqar, Yi-Leng}
+\item \textbf{Mar 1: Cynthia, Valerie, Waqar, Yi-Leng}
 \ei
 \item MG+MIS Present (L17, L18) (20 minutes)  %(Drasil SRS Code)
 \bi

Lectures/L13_ModularDesign/ModularDesign.tex

@@ -215,6 +215,30 @@ MIS templates
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+\begin{frame}
+\frametitle{Our Goals for Design Overview}
+
+\begin{itemize}
+  \item Handle complexity and size by decomposing a complex system into parts
+  (modules, units, objects, ...)
+  \item Decomposition should be based on a principle -- we'll emphasize information hiding
+  \item Uses relation between parts should be a hierarchy
+  \item Document the interface for all modules
+  \begin{itemize}
+    \item Access programs (methods)
+    \item Inputs and outputs and their type
+    \item State variables (instance variables)
+    \item Syntax and semantics
+    \item Environment variables
+  \end{itemize}
+  \item Use abstraction to make the specification more general, and easier
+  \item Formal specification where possible
+  \item Input-Calculate-Output pattern
+\end{itemize}
+
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}
 \frametitle{SWHS MG Example}
 ~\\
@@ -1165,7 +1189,7 @@ AC2 & M2\\
 \begin{frame}
 \frametitle{Getting Started}
 \begin{enumerate}
-\item Find a similar example to your problem as use that as a starting point
+\item Find a similar example to your problem and use that as a starting point
 \item Draft module names and secrets
 \item For each module sketch out:
 \bi