Skip to content
Snippets Groups Projects
Commit f2c1080c authored by Ziyang Fang's avatar Ziyang Fang :grinning:
Browse files

Merge branch cas741:master into master

parents abd45c41 b2cc2398
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Lectures/Deadlines.tex
+ 29
− 35
View file @ f2c1080c
......@@ -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.pdf
+ 0
− 0
View file @ f2c1080c
No preview for this file type
Lectures/L05_ProgramFamilies/ProgramFamilies.tex
+ 60
− 11
View file @ f2c1080c
......@@ -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
......@@ -88,7 +88,7 @@
\item Not all projects approved
(\href{https://gitlab.cas.mcmaster.ca/smiths/cas741/-/blob/master/Repos.csv?ref_type=heads}
{Repos.csv})
\item All rubrics available on Avenue (please verify you can see them)
%\item 80 columns in tex files
%\item Spell check
%\item Replace ``in order to'' by ``to''
......@@ -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}
......
Repos.csv
+ 14
− 15
View file @ f2c1080c
Num, Last Name, First Name, e-mail, GitHub ID, Supervisor, Project Name, Project Topic, Traditional or Drasil or Other, Research Project (Yes or No), Extra, GitHub Repos url, Branch, Prob State Approval?, Domain Expert Reviewer,
Num, Last Name, First Name, e-mail, GitHub ID, Supervisor, Project Name, Project Topic, Traditional or Drasil or Other, Research Project (Yes or No), Extra, GitHub Repos url, Branch, Prob State Approval?, Domain Expert Reviewer,
0, Last Name, First Name, email@mcmaster.ca, githubid, Dr. X, projName, Project Title, traditional or Drasil, Yes/No, Usability study or user manual or code walkthrough or formal proof or other, https://github.com/..., branch, Yes/No, name,
1, Tran, Phillip, tranp30@mcmaster.ca, ptrandev, Dr. Denise Geiskkovitch, OCRacle, Optical Character Recognition for Latin Alphabet Characters, Traditional, No, User manual, https://github.com/ptrandev/OCRacle, main, TBD, TBD,
2, Ziyang, Fang,fangz58@mcmaster.ca,FangZiyang,Dr. Spencer Smith,polar-bear-robot,Robot kinematics and dynamics software,traditional,No,User manual, https://github.com/FangZiyang/CAS741-Ryan, main,TBD,TBD,
3, Lin, Junwei, lin523@mcmaster.ca,Lychee-acaca,Dr. Shiva Kumar,RwaveDetection,ECG signal processing and R-wave detection,traditional,No,User manual, https://github.com/Lychee-acaca/CAS741, main,TBD,TBD,
4, Jimoh, Aliyah, jimoha1@mcmaster.ca, AliyahJimoh, Dr. Matthew Giamou, 2D-Localizer, 2-D Localization for Mobile Robots, traditional, Yes, N/A, https://github.com/AliyahJimoh/2D-Localizer, main, TBD, TBD,
5, Singh, Kiran, singhk56@mcmaster.ca, KiranSingh15, Dr. Matthew Giamou, CAS-741-Image-Correspondences, Image Feature Correspondences for Camera Calibration, traditional, Yes, User Manual, https://github.com/KiranSingh15/CAS-741-Image-Correspondences, main, TBD, TBD,
1, Tran, Phillip, tranp30@mcmaster.ca, ptrandev, Dr. Denise Geiskkovitch, OCRacle, Optical Character Recognition for Latin Alphabet Characters, Traditional, No, User manual, https://github.com/ptrandev/OCRacle, main, YES, TBD,
2, Fang, Ziyang, fangz58@mcmaster.ca, FangZiyang, Dr. Spencer Smith, polar-bear-robot, Robot kinematics and dynamics software, traditional, No, User manual, https://github.com/FangZiyang/CAS741-Ryan, main, YES, TBD,
3, Lin, Junwei, lin523@mcmaster.ca, Lychee-acaca, Dr. Shiva Kumar, RwaveDetection, ECG signal processing and R-wave detection, traditional, No,User manual, https://github.com/Lychee-acaca/CAS741, main, YES, TBD,
4, Jimoh, Aliyah, jimoha1@mcmaster.ca, AliyahJimoh, Dr. Matthew Giamou, 2D-Localizer, 2-D Localization for Mobile Robots, traditional, Yes, N/A, https://github.com/AliyahJimoh/2D-Localizer, main, YES, TBD,
5, Singh, Kiran, singhk56@mcmaster.ca, KiranSingh15, Dr. Matthew Giamou, CAS-741-Image-Correspondences, Image Feature Correspondences for Camera Calibration, traditional, Yes, User Manual, https://github.com/KiranSingh15/CAS-741-Image-Correspondences, main, YES, TBD,
6, Ahmadi, Yasmin, ahmady3@mcmaster.ca, YasminAhmadi, Dr. Christian Brodbeck, NeuroMap, Integration of Predictive Algorithms for Mapping to Neural Activity, Traditional, Yes, User manual, https://github.com/YasminAhmadi/CAS-741, main, TBD, TBD,
7, Schankula, Christopher, schankuc@mcmaster.ca, CSchank, Dr. Spencer Smith and Dr. Jacques Carette, Drasil Tensors,"Adding Tensors, Matrices, and Vectors to Drasil", Other (Meta-Drasil), Yes, Possible research or arXiv paper, https://github.com/CSchank/TensorCodeGen, main, No, TBD,
7, Schankula, Christopher, schankuc@mcmaster.ca, CSchank, Dr. Spencer Smith and Dr. Jacques Carette, Drasil Tensors,"Adding Tensors, Matrices, and Vectors to Drasil", Other (Meta-Drasil), Yes, Possible research or arXiv paper, https://github.com/CSchank/TensorCodeGen, main, YES, TBD,
8, Xue, Yuanqi, xuey45@mcmaster.ca, Yuanqi-X, Dr.Lingyang Chu, UMD, Unsupervised Motif Discovery, traditional, Yes, N/A, https://github.com/Yuanqi-X/CAS751-project, main, TBD, TBD,
9, Garcilazo Cruz, Uriel, garcilau@mcmaster.ca, UGarCil, Dr. Alejandro Vargas Hernandez, Multiple sequence alignment, Optimizing the alignment of gene sequential data using greedy algorithms, Traditional, No, User manual, https://github.com/UGarCil/UGarcil_capstone, main, No, TBD,
9, Garcilazo Cruz, Uriel, garcilau@mcmaster.ca, UGarCil, Dr. Alejandro Vargas Hernandez, SUBLIMark, Optimizing the alignment of gene sequential data using greedy algorithms, Traditional, No, User manual, https://github.com/UGarCil/UGarcil_capstone, main, YES, TBD,
10, Saad, Hussein, saadh@mcmaster.ca, husseinsd1, Dr. Matthew Giamou, optimal-em-arrangement, Optimal actuator positioning for electromagnetic actuation systems, traditional, Yes, N/A, https://github.com/husseinsd1/optimal-em-arrangement, main, TBD, TBD,
11, Yinying, Huo, huoy8@mcmaster.ca, V-AS, Dr. Sivan Sabato, Two-tower-recommentation-system, A Two-tower embeddings recommendation system for book recommendation, Traditional, No, User Manual, https://github.com/V-AS/Two-tower-recommender-system, main, TBD, TBD
11, Huo, Yinying, huoy8@mcmaster.ca, V-AS, Dr. Sivan Sabato, Two-tower-recommentation-system, A Two-tower embeddings recommendation system for book recommendation, Traditional, No, User Manual, https://github.com/V-AS/Two-tower-recommender-system, main, YES, TBD,
12, Pignier, Baptiste, pignierb@mcmaster.ca, BaptistePignier, N/A, CAS741-GameOfLife, Continuous version of Conway's Game of Life , traditional, No, User Manual, https://github.com/BaptistePignier/CAS741-GameOfLife, main, TBD, TBD,
13, Chen, Qianlin, chenq84@mcmaster.ca, marischan888, Dr. Anand Christopher, Computed-Tomography-Image-Reconstruction, Processing CT image reconstruction with filtering techniques, traditional, No, User Manual, https://github.com/marischan888/Computed-Tomography-Image-Reconstruction, main, TBD, TBD,
13, Chen, Qianlin, chenq84@mcmaster.ca, marischan888, Dr. Anand Christopher, Computed-Tomography-Image-Reconstruction, Processing CT image reconstruction with filtering techniques, traditional, No, User Manual, https://github.com/marischan888/Computed-Tomography-Image-Reconstruction, main, YES, TBD,
14, Gosh, Ananda Mohon, , , , , , , , , , , TBD, TBD,
15, Grandhi, Alaap, , , , , , , , , , , TBD, TBD,
16, Liang, Bo, , , , , , , , , , , TBD, TBD,
17, Ye, Joe,yex33@mcmaster.ca, yex33,Dr. Ned Nedialkov, MPIR,A sparse linear solver for quasi-definite matrices using iterative refinement in mixed precision,traditional,Yes,N/A,https://github.com/yex33/MPIR, main, TBD, TBD,
18, You, Yuchen, , , , , , , , , , , TBD, TBD,
15, Grandhi, Alaap, grandhia@mcmaster.ca, alaapgrandhi, Dr. Matthew Giamou, equivariant-sensor-fusion, Alignment-aware LiDAR-Camera sensor fusion for autonomous driving, traditional, Yes, N/A, https://github.com/alaapgrandhi/equivariant-sensor-fusion, main, TBD, TBD,
16, Liang, Bo, liangb30@mcmaster.ca, liang-bo96, Dr. Christian Brodbeck, LiveNeuro, A Neural Data Interactive Visualization Tool, Traditional, NO, User Manual, https://github.com/liang-bo96/CAS741, main, TBD, TBD,
17, Ye, Joe, yex33@mcmaster.ca, yex33, Dr. Ned Nedialkov, MPIR, A sparse linear solver for quasi-definite matrices using iterative refinement in mixed precision, traditional, Yes, N/A, https://github.com/yex33/MPIR, main, YES, TBD,
18, You, Yuchen, , , , , , , , , , , TBD, TBD,
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment