diff --git a/Lectures/L01_IntroToCourse/IntroToCourse.pdf b/Lectures/L01_IntroToCourse/IntroToCourse.pdf index 96ee5d8119372017f568107da053fdb8d6e32adc..76201c6158bc1af249e790475894744d7897ca4a 100644 Binary files a/Lectures/L01_IntroToCourse/IntroToCourse.pdf and b/Lectures/L01_IntroToCourse/IntroToCourse.pdf differ diff --git a/Lectures/L01_IntroToCourse/IntroToCourse.tex b/Lectures/L01_IntroToCourse/IntroToCourse.tex index 6672c823563e4979706528b6231fc3ca8cd3305d..5a650d42c3bccf3d0728c62fee33e1de9288cb41 100755 --- a/Lectures/L01_IntroToCourse/IntroToCourse.tex +++ b/Lectures/L01_IntroToCourse/IntroToCourse.tex @@ -17,6 +17,9 @@ \urlstyle{same} \usepackage{booktabs} +\usepackage{bibentry} +\usepackage[round, authoryear]{natbib} +\bibliographystyle{plainnat} %\usetheme{Iimenau} @@ -34,6 +37,8 @@ \begin{document} +\nobibliography{../../ReferenceMaterial/References} + \input{../footline} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -154,6 +159,38 @@ logic and discrete mathematics %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\begin{frame} +\frametitle{SE Tools, Techniques and Principles} + +\begin{itemize} +\item Tools +\bi +\item Programming languages +\item Version control software (git, svn, etc) +\item Debugger +\item Profiler +\item ... +\ei +\item Techniques +\bi +\item Documentation +\item Testing +\item Program families +\item Code generation +\item ... +\ei +\item Principles +\bi +\item Information hiding +\item Least privelege +\item ... +\ei +\end{itemize} + +\end{frame} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + \begin{frame} \frametitle{Instructor} @@ -173,7 +210,7 @@ logic and discrete mathematics %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{frame} -\frametitle{Introduction of Instructor: Dr.\ Spencer Smith} +\frametitle{Introduction: Dr.\ Spencer Smith} \begin{itemize} \item Associate Professor, Department of Computing and Software. @@ -374,7 +411,8 @@ the transcript, and/or suspension or expulsion from the university. \begin {itemize} -\item +\item \bibentry{Smith2016} +\item \bibentry{SmithEtAl2007} \end{itemize} diff --git a/Lectures/L02_Requirements/Requirements.pdf b/Lectures/L02_Requirements/Requirements.pdf index 9716844c3e012d2e5113baceefe96fa41f37c5c7..25ebe061d8601baa863163daab4e2cd6dd33c642 100644 Binary files a/Lectures/L02_Requirements/Requirements.pdf and b/Lectures/L02_Requirements/Requirements.pdf differ diff --git a/Lectures/L02_Requirements/Requirements.tex b/Lectures/L02_Requirements/Requirements.tex index ac7093c8ad283f9c7123cb6c49e26e6981368bd3..6851c0940f45f8a689f00de37561b5c61d161a79 100755 --- a/Lectures/L02_Requirements/Requirements.tex +++ b/Lectures/L02_Requirements/Requirements.tex @@ -22,6 +22,8 @@ \usepackage{multicol} \usepackage{array} +\bibliographystyle{plainnat} + %\usetheme{Iimenau} \useoutertheme{split} %so the footline can be seen, without needing pgfpages @@ -807,12 +809,10 @@ to improve reliability JanickiAndKhedri2001, GhezziEtAl2003, KreymanAndParnas2002, ParnasAndClements1986, Segal2007_Dagsthul, Segal2008, Segal2007, Segal2005, Dubois2002} -\bibliographystyle{plainnat} \bibliography{../../ReferenceMaterial/References} \end{frame} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - \end{document} \ No newline at end of file diff --git a/ReferenceMaterial/References.bib b/ReferenceMaterial/References.bib index cfeb3d62a6792fae403e14baf7d50f5e08b083a6..357ef7408c891fa429f2f221cdda01a0e0def55d 100644 --- a/ReferenceMaterial/References.bib +++ b/ReferenceMaterial/References.bib @@ -2,13 +2,42 @@ %% http://bibdesk.sourceforge.net/ -%% Created for Spencer Smith at 2017-09-04 22:37:16 -0400 +%% Created for Spencer Smith at 2017-09-04 23:02:48 -0400 %% Saved with string encoding Unicode (UTF-8) +@article{SmithEtAl2007, + Author = {W. Spencer Smith and Lei Lai and Ridha Khedri}, + Date-Added = {2017-09-05 03:00:52 +0000}, + Date-Modified = {2017-09-05 03:00:52 +0000}, + Journal = {Reliable Computing, Special Issue on Reliable Engineering Computation}, + Local-Url = {/Users/smiths/Work/Research/Papers/ReliableComputing/SmithLaiAndKhedri2007fulltext.pdf}, + Month = {February}, + Number = {1}, + Pages = {83--107}, + Title = {Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Software Reliability}, + Volume = {13}, + Year = {2007}, + Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QRS4uLy4uL3NlNHNjL1NjaUNvbXBBbmRTb2Z0RW5nUGFwZXJzL1NtaXRoTGFpQW5kS2hlZHJpMjAwN2Z1bGx0ZXh0LnBkZtIXCxgZV05TLmRhdGFPEQIUAAAAAAIUAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADOl3ODSCsAAAkx/Q0fU21pdGhMYWlBbmRLaGVkcmkyMCM5MzFGRDYwLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACTH9YNNvBNMAAAAAAAAAAAACAAMAAAkgAAAAAAAAAAAAAAAAAAAAF1NjaUNvbXBBbmRTb2Z0RW5nUGFwZXJzAAAQAAgAAM6Xq8MAAAARAAgAANNvPRMAAAABABQJMf0NCTHuxwASFacACPdmAAJkjgACAGJNYWNpbnRvc2ggSEQ6VXNlcnM6AHNtaXRoczoAUmVwb3M6AHNlNHNjOgBTY2lDb21wQW5kU29mdEVuZ1BhcGVyczoAU21pdGhMYWlBbmRLaGVkcmkyMCM5MzFGRDYwLnBkZgAOAEQAIQBTAG0AaQB0AGgATABhAGkAQQBuAGQASwBoAGUAZAByAGkAMgAwADAANwBmAHUAbABsAHQAZQB4AHQALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAFJVc2Vycy9zbWl0aHMvUmVwb3Mvc2U0c2MvU2NpQ29tcEFuZFNvZnRFbmdQYXBlcnMvU21pdGhMYWlBbmRLaGVkcmkyMDA3ZnVsbHRleHQucGRmABMAAS8AABUAAgAN//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4A1gDbAOMC+wL9AwIDDQMWAyQDKAMvAzgDPQNKA00DXwNiA2cAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAADaQ==}, + Bdsk-File-2 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QUS4uLy4uLy4uL1dvcmsvUmVzZWFyY2gvUGFwZXJzL1JlbGlhYmxlQ29tcHV0aW5nL1NtaXRoTGFpQW5kS2hlZHJpMjAwN2Z1bGx0ZXh0LnBkZtIXCxgZV05TLmRhdGFPEQIaAAAAAAIaAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADOl3ODSCsAAAAXC24fU21pdGhMYWlBbmRLaGVkcmkyMDAjMTc4ODYzLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABeIY88i4TNQREYgQ0FSTwADAAUAAAkgAAAAAAAAAAAAAAAAAAAAEVJlbGlhYmxlQ29tcHV0aW5nAAAQAAgAAM6Xq8MAAAARAAgAAM8jJ4MAAAABABgAFwtuABcCCwAXAE0AFv3tAAj3ZgACZI4AAgBmTWFjaW50b3NoIEhEOlVzZXJzOgBzbWl0aHM6AFdvcms6AFJlc2VhcmNoOgBQYXBlcnM6AFJlbGlhYmxlQ29tcHV0aW5nOgBTbWl0aExhaUFuZEtoZWRyaTIwMCMxNzg4NjMucGRmAA4ARAAhAFMAbQBpAHQAaABMAGEAaQBBAG4AZABLAGgAZQBkAHIAaQAyADAAMAA3AGYAdQBsAGwAdABlAHgAdAAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAVVVzZXJzL3NtaXRocy9Xb3JrL1Jlc2VhcmNoL1BhcGVycy9SZWxpYWJsZUNvbXB1dGluZy9TbWl0aExhaUFuZEtoZWRyaTIwMDdmdWxsdGV4dC5wZGYAABMAAS8AABUAAgAN//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4A4gDnAO8DDQMPAxQDHwMoAzYDOgNBA0oDTwNcA18DcQN0A3kAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAADew==}} + +@incollection{Smith2016, + Author = {W. Spencer Smith}, + Booktitle = {Software Engineering for Science}, + Chapter = {Section {I} -- Examples of the Application of Traditional Software Engineering Practices to Science}, + Date-Added = {2017-09-05 02:57:01 +0000}, + Date-Modified = {2017-09-05 03:02:48 +0000}, + Editor = {Jeffrey C. Carver and Neil Chue Hong and George Thiruvathukal}, + Pages = {33--63}, + Publisher = {Taylor \& Francis}, + Title = {A Rational Document Driven Design Process for Scientific Computing Software}, + Year = {2016}, + Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QQy4uLy4uL3NlNHNjL1dyaXRpbmcvU29mdEVuZ0ZvclNjaWVuY2VCb29rL1NvZnRFbmdGb3JTY2llbmNlQm9vay5wZGbSFwsYGVdOUy5kYXRhTxECBgAAAAACBgACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAzpdzg0grAAAJMf1sGVNvZnRFbmdGb3JTY2llbmNlQm9vay5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAkx/XnTbwTTAAAAAAAAAAAAAgAEAAAJIAAAAAAAAAAAAAAAAAAAABVTb2Z0RW5nRm9yU2NpZW5jZUJvb2sAABAACAAAzperwwAAABEACAAA0289EwAAAAEAGAkx/WwJMf1pCTHuxwASFacACPdmAAJkjgACAGNNYWNpbnRvc2ggSEQ6VXNlcnM6AHNtaXRoczoAUmVwb3M6AHNlNHNjOgBXcml0aW5nOgBTb2Z0RW5nRm9yU2NpZW5jZUJvb2s6AFNvZnRFbmdGb3JTY2llbmNlQm9vay5wZGYAAA4ANAAZAFMAbwBmAHQARQBuAGcARgBvAHIAUwBjAGkAZQBuAGMAZQBCAG8AbwBrAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgBQVXNlcnMvc21pdGhzL1JlcG9zL3NlNHNjL1dyaXRpbmcvU29mdEVuZ0ZvclNjaWVuY2VCb29rL1NvZnRFbmdGb3JTY2llbmNlQm9vay5wZGYAEwABLwAAFQACAA3//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgDUANkA4QLrAu0C8gL9AwYDFAMYAx8DKAMtAzoDPQNPA1IDVwAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAANZ}, + Bdsk-File-2 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QIS4uLy4uLy4uLy4uL0Rvd25sb2Fkcy9zY2llbmNlLmJpYtIXCxgZV05TLmRhdGFPEQFyAAAAAAFyAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADOl3ODSCsAAAAI92kLc2NpZW5jZS5iaWIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACM7OOtM6l9YAAAAAAAAAAAAEAAIAAAkgAAAAAAAAAAAAAAAAAAAACURvd25sb2FkcwAAEAAIAADOl6vDAAAAEQAIAADTOtAWAAAAAQAMAAj3aQAI92YAAmSOAAIAMk1hY2ludG9zaCBIRDpVc2VyczoAc21pdGhzOgBEb3dubG9hZHM6AHNjaWVuY2UuYmliAA4AGAALAHMAYwBpAGUAbgBjAGUALgBiAGkAYgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASACJVc2Vycy9zbWl0aHMvRG93bmxvYWRzL3NjaWVuY2UuYmliABMAAS8AABUAAgAN//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4AsgC3AL8CNQI3AjwCRwJQAl4CYgJpAnICdwKEAocCmQKcAqEAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAACow==}} + @techreport{KreymanAndParnas2002, Author = {K. Kreyman and D. L. Parnas}, Date-Added = {2017-09-05 02:36:31 +0000}, diff --git a/ReferenceMaterial/SmithLaiAndKhedri2007fulltext.pdf b/ReferenceMaterial/SmithLaiAndKhedri2007fulltext.pdf new file mode 100644 index 0000000000000000000000000000000000000000..9481f6def570bafff30dfbca87c821d4e49f370a Binary files /dev/null and b/ReferenceMaterial/SmithLaiAndKhedri2007fulltext.pdf differ diff --git a/ReferenceMaterial/SoftEngForScienceBook.pdf b/ReferenceMaterial/SoftEngForScienceBook.pdf new file mode 100644 index 0000000000000000000000000000000000000000..cfae4671104ad13f540cd01fbe00e1a477a8311e Binary files /dev/null and b/ReferenceMaterial/SoftEngForScienceBook.pdf differ