Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • liangb30/cas-741-boliang
  • pignierb/cas741
  • jimoha1/cas741
  • huoy8/cas741
  • grandhia/cas741
  • chenq84/cas741
  • yex33/cas741
  • xuey45/cas741
  • garcilau/cas-741-uriel-garcilazo-msa
  • schankuc2/cas741
  • ahmady3/cas741
  • saadh/cas741
  • singhk56/cas741
  • lin523/cas741
  • fangz58/cas741
  • tranp30/cas741
  • ceranich/cas741
  • norouf1/cas741
  • mirzam48/cas741
  • djavahet/cas741
  • hossaa27/cas741
  • yiding_el/cas-741-upate-name
  • sayadia/cas741
  • elmasn2/cas741
  • cheemf8/cas741
  • cheny997/cas741
  • ma209/cas741
  • mousas26/cas741
  • liuy363/cas741
  • wongk124/cas741
  • dua11/cas741
  • zhoug28/cas741
  • courses/cas-741-tst
  • liy443/cas-741-fork-csv
  • sochania/cas741
  • liy443/cas-741-update-csv-old
  • mahdipoa/cas741
  • wangz892/cas741
  • wangn14/cas741
  • defourej/cas741
  • zhaox183/cas741
  • smiths/cas741
42 results
Show changes
Commits on Source (9)
Hide whitespace changes
Inline Side-by-side
Lectures/Deadlines.tex
View file @ f2c1080c
...@@ -62,26 +62,26 @@ take it personally ...@@ -62,26 +62,26 @@ take it personally
\bi \bi
\item SRS Present (15 min) \item SRS Present (15 min)
\bi \bi
\item {Jan 24: , , , , , } \item \textbf{Jan 24: Uriel, Yasmin, Christopher, Baptiste, Kiran}
\item {Jan 28: , , , , , } \item \textbf{Jan 28: Bo, Joe, Junwei, Aliyah, Ziyang}
\item {Jan 31: , , , , , } \item \textbf{Jan 31: Yuanqi, Qianlin, Phillip, Hussein, Yinying}
\item {Feb 4: , } \item \textbf{Feb 4: Ananda, Alaap, Yuchen}
\ei \ei
%\item Syst V\&V Plan Present (L11, L12) (20 min) \item Syst V\&V Plan Present (L11, L12) (20 min)
%\bi \bi
%\item {Feb 13: Fasil, Hunter, Phil, Adrian} \item {Feb 11: Yasmin, Qianlin, Junwei, Joe}
%\item {Feb 16: Gaofeng, Al, Seyed Ali, Xinyu} \item {Feb 14: Yinying, Bo, Hussein, Volunteer?}
%\ei \ei
% \item Proof of Concept Demonstrations (L14) (20 min) \item Proof of Concept Demonstrations (L14) (20 min)
% \bi \bi
% \item {Mar 1: Cynthia, Valerie, Waqar, Yi-Leng} \item {Feb 28: Ananda, Uriel, Yuchen, Christopher}
% \ei \ei
% \item MG+MIS Present (L17, L18) (20 minutes) %(Drasil SRS Code) \item MG+MIS Present (L17, L18) (20 minutes) %(Drasil SRS Code)
% \bi \bi
% \item {Mar 12: Nada, Morteza, Kim Ying, Atiyeh} \item {Mar 11: Ziyang, Aliyah, Yuanqi, Alaap}
% \item {Mar 15: Fatemeh, Yiding, Tanya, Volunteer?} \item {Mar 14: Phillip, Baptiste, Kiran, Volunteer?}
% \ei \ei
\ei \ei
...@@ -92,16 +92,15 @@ take it personally ...@@ -92,16 +92,15 @@ take it personally
\begin{frame} \begin{frame}
\frametitle{Presentation Sched Cont'd} \frametitle{Presentation Sched Cont'd}
%TBD \bi
% \bi \item Implementation Present (L22 -- L25) (15 min each)
% \item Implementation Present (15 min each) \bi
% \bi \item {Mar 28: Yasmin, Aliyah, Uriel, Ziyang, Yuanqi}
% \item \item {Apr 1: Ananda, Christopher, Yuchen, Bo, Joe}
% % \item \textbf{Apr 2: Phil, Xinyu, Fasil, Yi-Leng} \item {Apr 4: Junwei, Hussein, Kiran, Alaap, Qianlin}
% % \item \textbf{Apr 5: Gaofeng, Morteza, Valerie, Hunter, Ali} \item {Apr 8: Yinying, Baptiste, Phillip}
% % \item \textbf{Apr 9: Cynthia, Adrian, Yiding, Kim Ying, Nada} \ei
% \ei \ei
% \ei
\end{frame} \end{frame}
...@@ -111,17 +110,12 @@ take it personally ...@@ -111,17 +110,12 @@ take it personally
\frametitle{Presentation Schedule} \frametitle{Presentation Schedule}
\bi \bi
% \item Test or Impl.\ Present (25 min each) \item 3 presentations each %(please check)
% \bi
% \item Apr 5: Lesley, Deesha, Volunteer?
% \item Apr 6: Mina, Joachim, Maryam
% \ei
\item 3 or 4 presentations each %(please check)
\begin{itemize} \begin{itemize}
\item SRS everyone \item SRS everyone
\item VnV and POC subset of class \item VnV and POC subset of class
\item Design subset of class \item Design subset of class
\item Implementation everyone \item Implementation or testing results everyone
\end{itemize} \end{itemize}
\item If you will miss a presentation, please trade with someone \item If you will miss a presentation, please trade with someone
......
Lectures/L05_ProgramFamilies/ProgramFamilies.pdf
View file @ f2c1080c
No preview for this file type
Lectures/L05_ProgramFamilies/ProgramFamilies.tex
View file @ f2c1080c
...@@ -66,7 +66,7 @@ ...@@ -66,7 +66,7 @@
\bi \bi
\item Administrative details \item Administrative details
\item Motivating a document driven design process %including documentation \item Motivating a document driven design process %including documentation
\item Finish up SRS \item Finish up SRS Example
\item Requirements specification qualities \item Requirements specification qualities
\item Motivation for families \item Motivation for families
\item Proposed family methods \item Proposed family methods
...@@ -88,7 +88,7 @@ ...@@ -88,7 +88,7 @@
\item Not all projects approved \item Not all projects approved
(\href{https://gitlab.cas.mcmaster.ca/smiths/cas741/-/blob/master/Repos.csv?ref_type=heads} (\href{https://gitlab.cas.mcmaster.ca/smiths/cas741/-/blob/master/Repos.csv?ref_type=heads}
{Repos.csv}) {Repos.csv})
\item All rubrics available on Avenue (please verify you can see them)
%\item 80 columns in tex files %\item 80 columns in tex files
%\item Spell check %\item Spell check
%\item Replace ``in order to'' by ``to'' %\item Replace ``in order to'' by ``to''
...@@ -215,6 +215,32 @@ Water Heating System} ...@@ -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} % \begin{frame}
% \frametitle{More Example Projects} % \frametitle{More Example Projects}
% \bi % \bi
...@@ -256,6 +282,24 @@ Water Heating System} ...@@ -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} % \begin{frame}
% \frametitle{Kreyman and Parnas Five Variable Model} % \frametitle{Kreyman and Parnas Five Variable Model}
% \begin{itemize} % \begin{itemize}
...@@ -607,7 +651,8 @@ PS1.a & $L$ & & &... & &... & & & $\surd$ & ... & & ... & ... \\ ...@@ -607,7 +651,8 @@ PS1.a & $L$ & & &... & &... & & & $\surd$ & ... & & ... & ... \\
} }
~\newline ~\newline
~\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 %\textbf{A15}. The beam behaves as a rigid body
\end{frame} \end{frame}
...@@ -1236,10 +1281,12 @@ at the end of a word.} ...@@ -1236,10 +1281,12 @@ at the end of a word.}
\begin{itemize} \begin{itemize}
\item Program family idea since the 1970s (Dijkstra, Parnas, Weiss, Pohl, ...) - variabilities are often from a finite \item Program family idea since the 1970s (Dijkstra, Parnas, Weiss, Pohl, ...) --
set of simple options \cite{Parnas1976, Parnas1979, Dijkstra1972} variabilities are often from a finite set of simple options \cite{Parnas1976,
\item Families of algorithms and code generation in SC (Carette, ATLAS, Blitz++, ...) - not much emphasis on Parnas1979, Dijkstra1972}
requirements \cite{Carette2006, WhaleyEtAl2001, Veldhuizen1998, Blitz2010} \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 Problem Solving Environments (PSEs)
\item Work on requirements for SC \item Work on requirements for SC
\begin{itemize} \begin{itemize}
...@@ -1520,10 +1567,11 @@ $n: \mathbb{N}$ & number of linear equations/number of unknowns\\ ...@@ -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\\ $A: \mathbb{R}^{n \times n}$ & $n \times n$ real matrix\\
$x: \mathbb{R}^{n \times 1}$ & $n \times 1$ real column vector\\ $x: \mathbb{R}^{n \times 1}$ & $n \times 1$ real column vector\\
$b: \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 $I: \mathbb{R}^{n \times n}$ & an $n \times n$ matrix where all entries are $0$,
are $1$\\ except for the diagonal entries, which are $1$\\
$|| v || $ & the norm (estimate of magnitude) of vector $v$\\ $|| 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\\ singular & matrix $A$ is singular if $A^{-1}$ does not exist\\
residual & $|| b - A x ||$\\ residual & $|| b - A x ||$\\
\end{tabular} \end{tabular}
...@@ -1539,7 +1587,8 @@ residual & $|| b - A x ||$\\ ...@@ -1539,7 +1587,8 @@ residual & $|| b - A x ||$\\
\begin{itemize} \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} \end{itemize}
......
Repos.csv
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, 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, 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, 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, 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,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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 14, Gosh, Ananda Mohon, , , , , , , , , , , TBD, TBD,
15, Grandhi, Alaap, , , , , , , , , , , 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, , , , , , , , , , , 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, 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, 18, You, Yuchen, , , , , , , , , , , TBD, TBD,
\ No newline at end of file