Updates to MIS continued

Lectures/Deadlines.tex

@@ -34,9 +34,8 @@ traditional SRS
 \begin{tabular}{l l l}
 %\textbf{SRS} & Week 03/04 & \textbf{Week of Jan 23, 30}\\
 %\textbf{Syst.\ VnV} & Week 06 & Week of Feb 12\\
-\textbf{POC Demo} & Week 07 & Week of Feb 26\\
-{MG + MIS} & Week 09 & Week of Mar 11\\
-{MG + MIS} & Week 09 & Week of Mar 11\\
+%\textbf{POC Demo} & Week 07 & Week of Feb 26\\
+\textbf{MG + MIS} & Week 09 & Week of Mar 11\\
 %Drasil & Week 11 & Week of Mar 27\\
 Unit VnV/Implement & Week 12 & Week of Apr 3\\
 \end {tabular}
@@ -66,7 +65,7 @@ Unit VnV/Implement & Week 12 & Week of Apr 3\\
 % \item \textbf{Feb 6: Waqar, Fatemeh}
 % \ei
 
-\item Syst V\&V Plan Present (L11, L12) (20 min)
+%\item Syst V\&V Plan Present (L11, L12) (20 min)
 %\bi
 %\item \textbf{Feb 13: Fasil, Hunter, Phil, Adrian}
 %\item \textbf{Feb 16: Gaofeng, Al, Seyed Ali, Xinyu}

Lectures/L16_MISContinued/MISContinued.tex

@@ -47,7 +47,6 @@
 \bi
 \item Administrative details
 \item Questions?
-\item Nonfunctional requirements
 \item Review: Records, Libraries, ADTs, Abstract Objects, Generic ADTs
 \item Example - Student data
 \item Exceptions
@@ -67,6 +66,21 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+\begin{frame}
+\frametitle{Admin Details Continued}
+
+\bi
+\item
+\href{https://gitlab.cas.mcmaster.ca/smiths/se2aa4_cs2me3/-/blob/master/MISFormat/MISFormat.pdf?ref_type=heads}
+{Summary of MIS Format and Notation}
+\item
+\href{https://gitlab.cas.mcmaster.ca/smiths/pub/-/blob/master/HoffmanAndStrooper1995.pdf?ref_type=heads}
+{Hoffman and Strooper}
+\ei
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
 \begin{frame}
 \frametitle{Questions?}
 \begin{itemize}
@@ -124,6 +138,37 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+\begin{frame}
+\frametitle{MIS Continued Highlights}
+
+\bi
+\item SWHS example
+\item Mathematical notation example
+\item Quality criteria for your interface
+\item Generic modules (briefly)
+\item Inheritance (briefly)
+\item Operational versus descriptive specification
+\ei
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\begin{frame}
+\frametitle{SWHS Example}
+\begin{itemize}
+\item \href{https://github.com/smiths/swhs/blob/master/docs/Design/MIS/PCM_MIS.pdf} 
+{SWHS MIS}
+\item Show decomposition by secrets
+\item Show uses relation
+\item Shows environment variables
+\item Specification parameters module
+\item Shows modules with external interaction
+\item Show use of abstraction (``such that'')
+\end{itemize}
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
 \begin{frame}
 \frametitle{Examples of Modules: Abstract Data Type \cite{GhezziEtAl2003}}
 
@@ -165,19 +210,6 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-\begin{frame}
-\frametitle{SWHS Example}
-\begin{itemize}
-\item \href{https://github.com/smiths/swhs/blob/master/docs/Design/MIS/PCM_MIS.pdf} 
-{SWHS MIS}
-\item Shows environment variables
-\item Specification parameters module
-\item Shows modules with external interaction
-\end{itemize}
-\end{frame}
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
 \begin{frame}
 
 \frametitle{Quality Criteria \cite[p.\ 83]{HoffmanAndStrooper1995}}
@@ -1009,15 +1041,22 @@ where $a$, $b$ and $c$ are suitable constants
 \begin{itemize}
 \item
   \href{https://github.com/smiths/swhs/blob/master/docs/Design/MIS/PCM_MIS.pdf} {Solar Water Heating System}
-\item Example Point Line and Circle
-\item Example Robot Path
-\item Example Vector Space
-\item Example Othello Program
-\item Example Maze Formal Specification (Dr.\ v.\ Mohrenschildt)
+\item \href{https://gitlab.cas.mcmaster.ca/smiths/se2aa4_cs2me3/-/blob/master/Assignments/A3/A3P1_Spec.pdf?ref_type=heads} {Measure Graduate Attributes}
+\item \href{https://gitlab.cas.mcmaster.ca/smiths/se2aa4_cs2me3/-/blob/master/Assignments/PreviousYears/2017/A2-DequeCircles/A2.pdf?ref_type=heads} {Point Line and Circle}
+\item \href{https://gitlab.cas.mcmaster.ca/smiths/se2aa4_cs2me3/-/blob/master/Assignments/PreviousYears/2017/A3-ImageGuidedRobot/A3Soln/Assig3Part1Solution_Specification.pdf?ref_type=heads} {Robot Path}
+\item Vector Space
+\item Othello Program
+\item \href{https://gitlab.cas.mcmaster.ca/smiths/se2aa4_cs2me3/-/blob/master/Assignments/PreviousYears/2018/A3-GIS/A3Soln/A3P1_Spec.pdf?ref_type=heads} {GIS}
+\item \href{https://gitlab.cas.mcmaster.ca/smiths/se2aa4_cs2me3/-/blob/master/Assignments/PreviousYears/2019/A3-Fortythieves/A3Soln/A3P1_Spec.pdf?ref_type=heads} {Card Game Forty Thieves}
+\item \href{https://gitlab.cas.mcmaster.ca/smiths/se2aa4_cs2me3/-/blob/master/Assignments/PreviousYears/2020/A3-Generic2DSeq/A3Soln/A3P1_Spec.pdf?ref_type=heads} {Generic 2D sequences}
+\item \href{https://gitlab.cas.mcmaster.ca/smiths/se2aa4_cs2me3/-/blob/master/Lectures/L20_MazeTracingRobot/MazeTracingRobot.pdf?ref_type=heads} {Maze Formal Specification} (Dr.\ v.\ Mohrenschildt)
 \item Mustafa ElSheikh Mesh Generator \cite{CaretteEtAl2011}
+\item
+\href{https://www.sciencedirect.com/science/article/abs/pii/S0965997804001115}
+{Ahmed ElSheikh Mesh Generator}
 \item Wen Yu Mesh Generator \cite{SmithAndYu2009}
-\item Sven Barendt Filtered Backprojection
-\item Sanchez sDFT
+% \item Sven Barendt Filtered Backprojection
+% \item Sanchez sDFT
 \end{itemize}
 
 \end{frame}
@@ -1033,10 +1072,10 @@ where $a$, $b$ and $c$ are suitable constants
 \item Consider A2 (Allocation to Engineering Programs) for set types
 \begin{itemize}
 \item
-  \href{https://gitlab.cas.mcmaster.ca/smiths/se2aa4_cs2me3/-/blob/master/Assignments/PreviousYears/2019/A2/A2.pdf}
+  \href{https://gitlab.cas.mcmaster.ca/smiths/se2aa4_cs2me3/-/blob/master/Assignments/A3/A3P1_Spec.pdf}
   {Problem Description}
 \item
-  \href{https://gitlab.cas.mcmaster.ca/smiths/se2aa4_cs2me3/-/tree/master/Assignments/PreviousYears/2019/A2/A2Soln/src}
+  \href{https://gitlab.cas.mcmaster.ca/smiths/se2aa4_cs2me3/-/tree/master/Assignments/A3/A3Soln/src}
   {Source Code}
 \end{itemize}