diff --git a/Lectures/L17_MathReviewPlusExample/MathReviewPlusExample.pdf b/Lectures/L17_MathReviewPlusExample/MathReviewPlusExample.pdf index 5b733d2a9fa33f51cc01b93bb90e86ebc11edcb7..b8f393f7c48567c13e29a8f480dcb3c41fb50caf 100644 Binary files a/Lectures/L17_MathReviewPlusExample/MathReviewPlusExample.pdf and b/Lectures/L17_MathReviewPlusExample/MathReviewPlusExample.pdf differ diff --git a/Lectures/L17_MathReviewPlusExample/MathReviewPlusExample.tex b/Lectures/L17_MathReviewPlusExample/MathReviewPlusExample.tex index 8d766d76a66dcd0da4e8a6746663e6750482f188..46e40623e77e4d12a9c94d1a4a120e486e89dbb7 100755 --- a/Lectures/L17_MathReviewPlusExample/MathReviewPlusExample.tex +++ b/Lectures/L17_MathReviewPlusExample/MathReviewPlusExample.tex @@ -68,16 +68,15 @@ \bi \item SRS grades on Avenue \item If follow feedback, final doc grades will be higher -\item GitHub issues for colleagues +\item GitHub issues for colleagues for MG+MIS \bi \item Assigned 1 colleague (see \texttt{Repos.xlsx} in repo) \item Provide at least 3 issues on their MG \item Grading as before -\item Due by Thursday, Nov 8, 11:59 pm +\item Due within 2 days of being assigned the review issue \ei \item MG marking scheme in Avenue \item MIS marking scheme in Avenue -\item Updated MIS template in CAS 741 repo (soon) \ei \end{frame} @@ -109,8 +108,7 @@ Final Documentation & Week 14 & Dec 9\\ ~\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\\ +\textbf{MIS Semantics Present} & Week 11 & Week of Nov 18\\ Unit VnV or Impl.\ Present & Week 12/13 & Week of Nov 28\\ \end {tabular} @@ -129,7 +127,7 @@ Unit VnV or Impl.\ Present & Week 12/13 & Week of Nov 28\\ \frametitle{Administrative Details: Presentation Schedule} \bi -\item MIS Syntax + Semantics Present +\item \textbf{MIS Syntax + Semantics Present} \bi \item Monday: Zhi, Peter, \emph{Sasha} \item Thursday: Sharon, Ao, ? @@ -158,42 +156,42 @@ Room for more volunteers. :-) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\begin{frame} +% \begin{frame} -\frametitle{SRS Feedback: Relationships Between Parts} +% \frametitle{SRS Feedback: Relationships Between Parts} -\begin{figure}[H] - \includegraphics[scale=0.59]{../Figures/RelationsBetweenTM_GD_IM_DD_A.pdf} -\end{figure} +% \begin{figure}[H] +% \includegraphics[scale=0.59]{../Figures/RelationsBetweenTM_GD_IM_DD_A.pdf} +% \end{figure} -\end{frame} +% \end{frame} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\begin{frame} +% \begin{frame} -\frametitle{SRS Feedback} +% \frametitle{SRS Feedback} -\begin{itemize} -\item \texttt{*.DS\_Store} should be in \texttt{.gitignore} -\item \LaTeX{} and formatting rules -\begin{itemize} -\item Variables are italic, everything else not, includes subscripts (link to - document) -\bi -\item \href{https://physics.nist.gov/cuu/pdf/typefaces.pdf}{Conventions} -\item Watch out for implied multiplication -\ei -\item Use BibTeX -\item Use cross-referencing -\end{itemize} -\item Grammar and writing rules -\begin{itemize} -\item Acronyms expanded on first usage (not just in table of acronyms) -\item ``In order to'' should be ``to'' -\end{itemize} -\end{itemize} -\end{frame} +% \begin{itemize} +% \item \texttt{*.DS\_Store} should be in \texttt{.gitignore} +% \item \LaTeX{} and formatting rules +% \begin{itemize} +% \item Variables are italic, everything else not, includes subscripts (link to +% document) +% \bi +% \item \href{https://physics.nist.gov/cuu/pdf/typefaces.pdf}{Conventions} +% \item Watch out for implied multiplication +% \ei +% \item Use BibTeX +% \item Use cross-referencing +% \end{itemize} +% \item Grammar and writing rules +% \begin{itemize} +% \item Acronyms expanded on first usage (not just in table of acronyms) +% \item ``In order to'' should be ``to'' +% \end{itemize} +% \end{itemize} +% \end{frame} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -202,19 +200,19 @@ Room for more volunteers. :-) \frametitle{SRS Feedback on Applying Template} \begin{itemize} -\item Difference between physical and software constraints -\item Properties of a correct solution means \emph{additional} properties, not - a restating of the requirements (may be ``not applicable'' for your problem). - If you have a table of output constraints, then these are properties of a - correct solution. +% \item Difference between physical and software constraints +% \item Properties of a correct solution means \emph{additional} properties, not +% a restating of the requirements (may be ``not applicable'' for your problem). +% If you have a table of output constraints, then these are properties of a +% correct solution. \item Assumptions have to be invoked somewhere \item ``Referenced by'' implies that there is an explicit reference -\item Think of traceability matrix, list of assumption invokations and list of - reference by fields as automatically generatable -\item If you say the format of the output (plot, table etc), then your - requirement could be more abstract -\item For families the notion of binding time should be introduced -\item Think of families as a library, not as a single program +% \item Think of traceability matrix, list of assumption invocations and list of +% reference by fields as automatically generatable +% \item If you say the format of the output (plot, table etc), then your +% requirement could be more abstract +% \item For families the notion of binding time should be introduced +% \item Think of families as a library, not as a single program \end{itemize} \end{frame}