Commits · ae4aca5477c2f1440441a780bf91fc9baf59096a · W. Spencer Smith / cas741 · GitLab

Snippets Groups Projects

Mar 29, 2023
- Updates to holistic and digging deeper paper · ae4aca54
  W. Spencer Smith authored 1 year ago
  
  ae4aca54
Mar 28, 2023
- Renamed L21 to reflect content of lecture · 5dbe6d25
  W. Spencer Smith authored 1 year ago
  
  5dbe6d25
Mar 23, 2023
- Update to Drasil overview lecture · 0db43ddd
  W. Spencer Smith authored 2 years ago
  
  0db43ddd
Mar 22, 2023
- Final revisions of L19 · 546ab60e
  W. Spencer Smith authored 2 years ago
  
  546ab60e
- Renamed Implementation to Assurance Case · 311c816e
  W. Spencer Smith authored 2 years ago
  
  311c816e
- Additions to L19 · d85cf876
  W. Spencer Smith authored 2 years ago
  
  d85cf876
Mar 17, 2023
- Revised presentation dates to move Karen earlier (March 30) · ae2618f4
  W. Spencer Smith authored 2 years ago
  
  ae2618f4
Mar 15, 2023
- Further shuffling of lectures add additional topic (holistic approach and digging deeper) · 5915d315
  W. Spencer Smith authored 2 years ago
  
  5915d315
- Rename lecture for assurance cases · 505ba969
  W. Spencer Smith authored 2 years ago
  
  505ba969
Mar 09, 2023
- Updates to MIS continued lecture · 8a7e5e65
  W. Spencer Smith authored 2 years ago
  
  8a7e5e65
Mar 08, 2023
- Addition of a comment about declartive specification · 74ff2cfa
  W. Spencer Smith authored 2 years ago
  
  74ff2cfa
- Update pdf of slides · 7671a65d
  W. Spencer Smith authored 2 years ago
  
  7671a65d
- Updates to MIS lectures · d34e2cc8
  W. Spencer Smith authored 2 years ago
  
  d34e2cc8
- Changes to POC 2 class · 957afbf3
  W. Spencer Smith authored 2 years ago
  
  957afbf3
Mar 03, 2023
- Update deadlines, add reminder notes to implementation lecture · dd4a2cb9
  W. Spencer Smith authored 2 years ago
  
  dd4a2cb9
Feb 28, 2023
- Updates for L13 on modular design · 535caf8b
  W. Spencer Smith authored 2 years ago
  
  535caf8b
Feb 23, 2023
- Updates to L13 for an introduction to modular design · 4c60818a
  W. Spencer Smith authored 2 years ago
  
  4c60818a
Feb 10, 2023
- Updates slides related to next week's presentations · fb25ab67
  W. Spencer Smith authored 2 years ago
  
  fb25ab67
- Link to vdisp as an example of CI for a Julia program · df5fb9c1
  W. Spencer Smith authored 2 years ago
  
  df5fb9c1
Feb 09, 2023
- Updates to VnV lectures, especially VnVContinued · fb1195bb
  W. Spencer Smith authored 2 years ago
  
  fb1195bb
Feb 08, 2023
- Added clarification that length is a state variable · 506c33fa
  W. Spencer Smith authored 2 years ago
  
  506c33fa
- Addition of a link on constructive criticism · 0e4c2f0a
  W. Spencer Smith authored 2 years ago
  
  0e4c2f0a
Feb 07, 2023
- Updates to vnv related slides, github review notes · 2c0d2cb0
  W. Spencer Smith authored 2 years ago
  
  2c0d2cb0
Feb 03, 2023
- Updated deadlines file · 39cecff5
  W. Spencer Smith authored 2 years ago
  
  39cecff5
Feb 02, 2023
- Updates to deadlines and SRS Presentation 3 slides · 47f933db
  W. Spencer Smith authored 2 years ago
  
  47f933db
Jan 27, 2023
- Updates to SRS Presentation slides · dbef4341
  W. Spencer Smith authored 2 years ago
  
  dbef4341
- Update to deadline dates (switched Karen and Lesley) · 4a6eab05
  W. Spencer Smith authored 2 years ago
  
  4a6eab05
Jan 25, 2023
- For Sam! · a8e1ffa5
  W. Spencer Smith authored 2 years ago
  
  a8e1ffa5
Jan 18, 2023
- Update L04 on requirements cont'd · 8cbd0af5
  W. Spencer Smith authored 2 years ago
  
  8cbd0af5
- Minor edits to L03 on requirements · e1267ed2
  W. Spencer Smith authored 2 years ago
  
  e1267ed2
- Updates to deadlines, especially for SRS presentations · f8289828
  W. Spencer Smith authored 2 years ago
  
  f8289828
- Revisions to L03 - requirements · 962ebf8a
  W. Spencer Smith authored 2 years ago
  
  962ebf8a
Jan 17, 2023
- Updates to L02, L03 and L05 · 4b0c429e
  W. Spencer Smith authored 2 years ago
  
  4b0c429e
Jan 15, 2023
- Added some more links to the project selection slides of the intro lect. · be5611f5
  W. Spencer Smith authored 2 years ago
  
  be5611f5
- Minor edit to getting started slides · 6e02e2b1
  W. Spencer Smith authored 2 years ago
  
  6e02e2b1
Jan 12, 2023
- Updates to L02 on Getting Started · 4f6685f6
  W. Spencer Smith authored 2 years ago
  
  4f6685f6
Jan 11, 2023
- Initial updates to L02 · a5f6054e
  W. Spencer Smith authored 2 years ago
  
  a5f6054e
- Improved formatting of L01 · 64f98c44
  W. Spencer Smith authored 2 years ago
  
  64f98c44
- Edits to Lecture 1, Introduction to Course · b893a401
  W. Spencer Smith authored 2 years ago
  
  b893a401
Jan 10, 2023
- Some edits to the first lecture of the term · 608a6b9a
  W. Spencer Smith authored 2 years ago
  
  608a6b9a