diff --git a/Lectures/Deadlines.tex b/Lectures/Deadlines.tex index 59d52140946c97974ffb4b1c7e32eb0a7be508dd..540bb7f2500e68640e5f741ca8dd00c9424ac2b3 100644 --- a/Lectures/Deadlines.tex +++ b/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} diff --git a/Lectures/L16_MISContinued/MISContinued.pdf b/Lectures/L16_MISContinued/MISContinued.pdf index 6f4830e89c6f29b1161b908077d676f426e48c55..fabfe21b1b4bab849e559b46b52d562b417abadf 100644 Binary files a/Lectures/L16_MISContinued/MISContinued.pdf and b/Lectures/L16_MISContinued/MISContinued.pdf differ diff --git a/Lectures/L16_MISContinued/MISContinued.tex b/Lectures/L16_MISContinued/MISContinued.tex index 929e6fb248494806bbda3c7d3d1a8660fb70eac4..d33344386de02eb5db0eb316b8ac9d7b5e1c7c1a 100755 --- a/Lectures/L16_MISContinued/MISContinued.tex +++ b/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}