Updates to L17 and L18 on Mathematics and MIS

Lectures/L17_MathReviewPlusExample/MathReviewPlusExample.tex

@@ -48,6 +48,7 @@
 \item Administrative details
 \item Questions?
 \item SRS feedback
+\item Motivating example: Chemical reactions
 \item Math review introduction
 \item Review of sets, relations and functions
 \item Review of logic
@@ -84,36 +85,65 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \begin{frame}
-\frametitle{Administrative Details: Deadlines}
+\frametitle{Administrative Details: Report Deadlines}
 ~\newline
 \begin{tabular}{l l l}
-\textbf{MIS Present} & Week 10 & Week of Nov 12\\
-\textbf{MIS} & Week 11 & Nov 19\\
-Unit VnV or Impl.\ Present & Week 12 & Week of Nov 26\\
-Unit VnV Plan & Week 13 & Dec 3\\
-Final Doc & Week 14 & Dec 10\\
+MG + MIS & Week 10 & Nov 25\\
+Final Documentation & Week 14 & Dec 9\\
 \end {tabular}
 
+\bi
+\item The written deliverables will be graded based on the repo contents as of
+11:59 pm of the due date
+\item If you need an extension, please ask
+\item Two days after each major deliverable, your GitHub issues will be due
+\item Domain expert code due 1 week after MIS deadline
+\ei
+
 \end{frame}
 
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\begin{frame}
+\frametitle{Administrative Details: Presentations}
+
+~\newline
+\begin{tabular}{l l l}
+MG + MIS Syntax Present & Week 9 & Week of Nov 4\\
+MIS Semantics Present & Week 11 & Week of Nov 18\\
+Unit VnV or Impl.\ Present & Week 12/13 & Week of Nov 28\\
+\end {tabular}
+
+\bi
+\item Informal presentations with the goal of improving everyone's written
+  deliverables
+\item Domain experts and secondary reviewers (and others) will ask questions
+  (listed in Repos.xlsx file)
+\ei
+
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \begin{frame}
 \frametitle{Administrative Details: Presentation Schedule}
 
 \bi
-\item MIS Present
+\item MIS Syntax + Semantics Present
 \bi
-\item \textbf{Wednesday: Malavika, Robert}
-\item \textbf{Friday: Hanane,  Jennifer}
+\item Monday: Zhi, Peter, \emph{Sasha}
+\item Thursday:  Sharon, Ao, ?
 \ei
 \item Unit VnV Plan or Impl.\ Present
 \bi
-\item Wednesday: Brooks, Vajiheh
-\item Friday: Olu, Karol
+\item Monday: Bo, Sasha, ?
+\item Thursday: Zhi, Peter, Ao, ?
 \ei
 \ei
 
+Optional presentation in italics.\\
+Room for more volunteers.  :-)
+
 \end{frame}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Lectures/L18_MISContinued/MISContinued.tex

@@ -80,54 +80,69 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \begin{frame}
-\frametitle{Administrative Details: Deadlines}
+\frametitle{Administrative Details: Report Deadlines}
 ~\newline
 \begin{tabular}{l l l}
-\textbf{MIS Present} & Week 10 & Week of Nov 12\\
-\textbf{MIS} & Week 11 & Nov 19\\
-Unit VnV or Impl.\ Present & Week 12 & Week of Nov 26\\
-Unit VnV Plan & Week 13 & Dec 3\\
-Final Doc & Week 14 & Dec 10\\
+MG + MIS & Week 10 & Nov 25\\
+Final Documentation & Week 14 & Dec 9\\
 \end {tabular}
 
+\bi
+\item The written deliverables will be graded based on the repo contents as of
+11:59 pm of the due date
+\item If you need an extension, please ask
+\item Two days after each major deliverable, your GitHub issues will be due
+\item Domain expert code due 1 week after MIS deadline
+\ei
+
 \end{frame}
 
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\begin{frame}
+\frametitle{Administrative Details: Presentations}
+
+~\newline
+\begin{tabular}{l l l}
+MG + MIS Syntax Present & Week 9 & Week of Nov 4\\
+MIS Semantics Present & Week 11 & Week of Nov 18\\
+Unit VnV or Impl.\ Present & Week 12/13 & Week of Nov 28\\
+\end {tabular}
+
+\bi
+\item Informal presentations with the goal of improving everyone's written
+  deliverables
+\item Domain experts and secondary reviewers (and others) will ask questions
+  (listed in Repos.xlsx file)
+\ei
+
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \begin{frame}
 \frametitle{Administrative Details: Presentation Schedule}
 
 \bi
-\item MIS Present
+\item MG + MIS Syntax Present
 \bi
-\item \textbf{Wednesday: Malavika, Robert}
-\item \textbf{Friday: Hanane,  Jennifer}
+\item Thursday: \textbf{Sasha, ?, ?}
+\ei
+\item MIS Syntax + Semantics Present
+\bi
+\item Monday: Zhi, Peter, \emph{Sasha}
+\item Thursday:  Sharon, Ao, ?
 \ei
 \item Unit VnV Plan or Impl.\ Present
 \bi
-\item Wednesday: Brooks, Vajiheh
-\item Friday: Olu, Karol
+\item Monday: Bo, Sasha, ?
+\item Thursday: Zhi, Peter, Ao, ?
 \ei
 \ei
 
-\end{frame}
+Optional presentation in italics.\\
+Room for more volunteers.  :-)
 
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-\begin{frame}
-\frametitle{MIS Presentations and Documentation}
-\begin{itemize}
-\item For each module
-\bi
-\item Module or Template Module or Generic Template Module or Inheritance
-\item Syntax, especially access programs
-\item State variables, environment variables
-\ei
-\item Do not need a formal spec for everything
-\item Goal is communication with a developer or maintainer
-\item Clarifying comments in the MIS are helpful
-\item Use notation from SRS wherever possible
-\end{itemize}
 \end{frame}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%