Updates to L05 on program families

Lectures/Deadlines.tex

@@ -62,26 +62,26 @@ take it personally
 \bi
 \item SRS Present (15 min)
 \bi
-\item {Jan 24: , , , , , }
-\item {Jan 28: , , , , , }
-\item {Jan 31: , , , , , }
-\item {Feb 4: , }
+\item \textbf{Jan 24: Uriel, Yasmin, Christopher, Baptiste, Kiran}
+\item \textbf{Jan 28: Bo, Joe, Junwei, Aliyah, Ziyang}
+\item \textbf{Jan 31: Yuanqi, Qianlin, Phillip, Hussein, Yinying}
+\item \textbf{Feb 4: Ananda, Alaap, Yuchen}
 \ei
 
-%\item Syst V\&V Plan Present (L11, L12) (20 min)
-%\bi
-%\item {Feb 13: Fasil, Hunter, Phil, Adrian}
-%\item {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}
-% \ei
-% \item MG+MIS Present (L17, L18) (20 minutes)  %(Drasil SRS Code)
-% \bi
-% \item {Mar 12: Nada, Morteza, Kim Ying, Atiyeh}
-% \item {Mar 15: Fatemeh, Yiding, Tanya, Volunteer?}
-% \ei
+\item Syst V\&V Plan Present (L11, L12) (20 min)
+\bi
+\item {Feb 11: Yasmin, Qianlin, Junwei, Joe}
+\item {Feb 14: Yinying, Bo, Hussein, Volunteer?}
+\ei
+\item Proof of Concept Demonstrations (L14) (20 min)
+\bi
+\item {Feb 28:  Ananda,  Uriel,  Yuchen,  Christopher}
+\ei
+\item MG+MIS Present (L17, L18) (20 minutes)  %(Drasil SRS Code)
+\bi
+\item {Mar 11: Ziyang, Aliyah, Yuanqi, Alaap}
+\item {Mar 14: Phillip, Baptiste, Kiran, Volunteer?}
+\ei
 
 \ei
 
@@ -92,16 +92,15 @@ take it personally
 \begin{frame}
 \frametitle{Presentation Sched Cont'd}
 
-%TBD
-% \bi
-% \item Implementation Present (15 min each)
-% \bi
-% \item 
-% % \item \textbf{Apr 2: Phil, Xinyu, Fasil, Yi-Leng}
-% % \item \textbf{Apr 5: Gaofeng, Morteza, Valerie, Hunter, Ali}
-% % \item \textbf{Apr 9: Cynthia, Adrian, Yiding, Kim Ying, Nada}
-% \ei
-% \ei
+\bi
+\item Implementation Present (L22 -- L25) (15 min each)
+\bi
+\item {Mar 28: Yasmin, Aliyah, Uriel, Ziyang, Yuanqi}
+\item {Apr 1: Ananda, Christopher, Yuchen, Bo, Joe}
+\item {Apr 4: Junwei, Hussein, Kiran, Alaap, Qianlin}
+\item {Apr 8: Yinying, Baptiste, Phillip}
+\ei
+\ei
 
 \end{frame}
 
@@ -111,17 +110,12 @@ take it personally
 \frametitle{Presentation Schedule}
 
 \bi
-% \item Test or Impl.\ Present (25 min each)
-% \bi
-% \item Apr 5: Lesley, Deesha, Volunteer? 
-% \item Apr 6: Mina, Joachim, Maryam 
-% \ei
-\item 3 or 4 presentations each %(please check)
+\item 3 presentations each %(please check)
 \begin{itemize}
   \item SRS everyone
   \item VnV and POC subset of class
   \item Design subset of class
-  \item Implementation everyone
+  \item Implementation or testing results everyone
 \end{itemize}
 
 \item If you will miss a presentation, please trade with someone

Lectures/L05_ProgramFamilies/ProgramFamilies.tex

@@ -66,7 +66,7 @@
 \bi
 \item Administrative details
 \item Motivating a document driven design process %including documentation
-\item Finish up SRS
+\item Finish up SRS Example
 \item Requirements specification qualities 
 \item Motivation for families
 \item Proposed family methods
@@ -215,6 +215,32 @@ Water Heating System}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+\begin{frame}
+
+\frametitle{Examples, Checklist and Template}
+
+\begin{itemize}
+
+\item
+  \href{https://jacquescarette.github.io/Drasil/examples/projectile/SRS/srs/Projectile_SRS.html}
+  {Projectile Example}
+\item
+  \href{https://jacquescarette.github.io/Drasil/examples/glassbr/SRS/srs/GlassBR_SRS.html}
+  {GlassBR Example}
+\item
+  \href{https://jacquescarette.github.io/Drasil/examples/swhsnopcm/SRS/HTML/SWHSNoPCM_SRS.html}
+  {SWHS Example} (Let's go through this one)
+\item
+  \href{https://github.com/smiths/capTemplate/blob/main/docs/SRS/SRS.pdf}
+  {Blank SRS from Template} (Let's look at the advice/hints)
+\item
+  \href{https://github.com/smiths/capTemplate/blob/main/docs/Checklists/SRS-Checklist.pdf} {Checklist}
+\end{itemize}
+
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
 % \begin{frame}
 % \frametitle{More Example Projects}
 % \bi
@@ -256,6 +282,24 @@ Water Heating System}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+\begin{frame}
+\frametitle{Software Requirements Activities}
+\begin{itemize}
+\item A software requirement is a description of how the system should behave,
+  or of a system property or attribute
+\item Requirements should be \textbf{abstract}, \textbf{unambiguous},
+\textbf{complete}, \textbf{consistent}, \textbf{modifiable}, \textbf{verifiable}
+and \textbf{traceable}
+\item Requirements should express ``What'' not ``How''
+\item Formal versus informal specification
+\item Functional versus nonfunctional requirements
+\item Software requirements specification (SRS)
+\item Requirements template
+\end{itemize}
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
 % \begin{frame}
 % \frametitle{Kreyman and Parnas Five Variable Model}
 % \begin{itemize}
@@ -607,7 +651,8 @@ PS1.a & $L$ &  & &... & &...  & & & $\surd$  & ... & & ... & ... \\
 }
 ~\newline
 ~\newline
-\textbf{A10}. The deflection of the beam is caused by bending moment only, the shear does not contribute.\\
+\textbf{A10}. The deflection of the beam is caused by bending moment only, the
+shear does not contribute.\\
 %\textbf{A15}. The beam behaves as a rigid body
 \end{frame}
 
@@ -1236,10 +1281,12 @@ at the end of a word.}
 
 \begin{itemize}
 
-\item Program family idea since the 1970s (Dijkstra, Parnas, Weiss, Pohl, ...) - variabilities are often from a finite
-set of simple options \cite{Parnas1976, Parnas1979, Dijkstra1972}
-\item Families of algorithms and code generation in SC (Carette, ATLAS, Blitz++, ...) - not much emphasis on
-requirements \cite{Carette2006, WhaleyEtAl2001, Veldhuizen1998, Blitz2010}
+\item Program family idea since the 1970s (Dijkstra, Parnas, Weiss, Pohl, ...) --
+variabilities are often from a finite set of simple options \cite{Parnas1976,
+Parnas1979, Dijkstra1972}
+\item Families of algorithms and code generation in SC (Carette, ATLAS, Blitz++,
+...) -- not much emphasis on requirements \cite{Carette2006, WhaleyEtAl2001,
+Veldhuizen1998, Blitz2010}
 %\item Problem Solving Environments (PSEs)
 \item Work on requirements for SC
 \begin{itemize}
@@ -1520,10 +1567,11 @@ $n: \mathbb{N}$ & number of linear equations/number of unknowns\\
 $A: \mathbb{R}^{n \times n}$ & $n \times n$ real matrix\\
 $x: \mathbb{R}^{n \times 1}$ & $n \times 1$ real column vector\\
 $b: \mathbb{R}^{n \times 1}$ & $n \times 1$ real column vector\\
-$I: \mathbb{R}^{n \times n}$ & an $n \times n$ matrix where all entries are $0$, except for the diagonal entries, which
-are $1$\\
+$I: \mathbb{R}^{n \times n}$ & an $n \times n$ matrix where all entries are $0$,
+except for the diagonal entries, which are $1$\\
 $|| v || $ & the norm (estimate of magnitude) of vector $v$\\
-$A^{-1}: \mathbb{R}^{n \times n}$ & the inverse matrix, with the property that $A^{-1} A = I$\\
+$A^{-1}: \mathbb{R}^{n \times n}$ & the inverse matrix, with the property that
+$A^{-1} A = I$\\
 singular & matrix $A$ is singular if $A^{-1}$ does not exist\\
 residual & $|| b - A x ||$\\
 \end{tabular}
@@ -1539,7 +1587,8 @@ residual & $|| b - A x ||$\\
 
 \begin{itemize}
 	
-\item \structure{What would be the most general binding time for the variabilities?}
+\item \structure{What would be the most general binding time for the
+variabilities?}
     
 \end{itemize}