diff --git a/FinDoc.xlsx b/FinDoc.xlsx new file mode 100644 index 0000000000000000000000000000000000000000..a8599ff596ef9062d7b043660a6e18168c70538e Binary files /dev/null and b/FinDoc.xlsx differ diff --git a/Lectures/Deadlines.tex b/Lectures/Deadlines.tex index 278000e1f1e8e81b7126327cfa2776d0a6408bb0..03a009e09d48cf9558881694f337f6e303953a2d 100644 --- a/Lectures/Deadlines.tex +++ b/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 diff --git a/Lectures/L13_ModularDesign/ModularDesign.pdf b/Lectures/L13_ModularDesign/ModularDesign.pdf index 1d509c678698ad353b01339120e1501d3e41c43c..8ddd454e93ff0f0b302724b426d3bd60452a1a33 100644 Binary files a/Lectures/L13_ModularDesign/ModularDesign.pdf and b/Lectures/L13_ModularDesign/ModularDesign.pdf differ diff --git a/Lectures/L13_ModularDesign/ModularDesign.tex b/Lectures/L13_ModularDesign/ModularDesign.tex index 21f72a2ce3e43615c878334efdb939611c360212..758cb602b194c617e62ab366cb818142443fc43e 100755 --- a/Lectures/L13_ModularDesign/ModularDesign.tex +++ b/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