Commits · 0db43ddd4d2fd35beb90335dcb2a9e60129b270b · Bo Liang / cas741-boliang · GitLab

Snippets Groups Projects

Mar 23, 2023
- Update to Drasil overview lecture · 0db43ddd
  W. Spencer Smith authored 2 years ago
  
  0db43ddd
Mar 09, 2023
- Updates to MIS continued lecture · 8a7e5e65
  W. Spencer Smith authored 2 years ago
  
  8a7e5e65
Nov 20, 2020
- Add slides on the distinction between operational and descriptive specification · 37559096
  W. Spencer Smith authored 4 years ago
  
  37559096
- Added a slide on judging abstraction level · 5089e7ac
  W. Spencer Smith authored 4 years ago
  
  5089e7ac
Nov 12, 2020
- Update lectures for MG presentation · 74e5a3c8
  W. Spencer Smith authored 4 years ago
  
  74e5a3c8
Nov 09, 2020
- Updates related to MIS continued · 237bab94
  W. Spencer Smith authored 4 years ago
  
  237bab94
Sep 30, 2020
- Added reminders to the lectures to start recording · 4dbe3d43
  W. Spencer Smith authored 4 years ago
  
  4dbe3d43
Nov 14, 2019
- Added page number and reference for "quality criteria" from Hoffman and Strooper · a9237d42
  W. Spencer Smith authored 5 years ago
  
  a9237d42
- Updates to MIS continued lecture - added example, updated admin details,... · f65ee254
  W. Spencer Smith authored 5 years ago
  
  Updates to MIS continued lecture - added example, updated admin details, repeat of some earlier content for review
  f65ee254
Oct 31, 2019
- Updates to L17 and L18 on Mathematics and MIS · 87ffd7d0
  W. Spencer Smith authored 5 years ago
  
  87ffd7d0
Nov 12, 2018
- Modified blank project template for SystVnVPlan - more comments · 1929ac95
  W. Spencer Smith authored 6 years ago
  
  1929ac95
Nov 08, 2018
- Updates to blank project template and to MIS continued lecture · a69174f3
  W. Spencer Smith authored 6 years ago
  
  a69174f3
Nov 06, 2018
- Revisions to lectures to update MIS content · 90d966e6
  W. Spencer Smith authored 6 years ago
  
  90d966e6
Nov 10, 2017
- Minor edits to L18 on MIS Continued · 7621bad7
  W. Spencer Smith authored 7 years ago
  
  7621bad7
- Minor edits related to L18 MIS Continued · 22379c90
  W. Spencer Smith authored 7 years ago
  
  22379c90
- Modifications to L18 - MIS Continued · 459d0e09
  W. Spencer Smith authored 7 years ago
  
  459d0e09
Nov 07, 2017
- Housekeeping + revisions to mathematics review · 981f34e9
  W. Spencer Smith authored 7 years ago
  
  981f34e9
Oct 27, 2017
- Additions related to MIS - examples, clarifications in slides, math review · 7c5cfb3f
  W. Spencer Smith authored 7 years ago
  
  7c5cfb3f
- Swap of Yuzhi and Shusheng in MG presentation order. · 5d8385f2
  W. Spencer Smith authored 7 years ago
  
  5d8385f2
- Revisions to repo to accommodate L14 on into to MIS · e80d56f5
  W. Spencer Smith authored 7 years ago
  
  e80d56f5
Oct 23, 2017
- Updates to L13 and initial structure for L14 to L21 · 5c479274
  W. Spencer Smith authored 7 years ago
  
  5c479274
Oct 17, 2017
- Addition of pdf files for L11 and L12, minor edits to L13. · b7787bb3
  W. Spencer Smith authored 7 years ago
  
  b7787bb3
Oct 03, 2017
- Additional examples, revise blank project template, v and v lecture · 821c8088
  W. Spencer Smith authored 7 years ago
  
  821c8088
Sep 21, 2017
- Updates to lectures, especially L05 and L06. · 27f7bf37
  W. Spencer Smith authored 7 years ago
  
  27f7bf37
Sep 15, 2017
- Initial stub for L06 lecture - will fill with material not covered in L05. · 4ae94632
  W. Spencer Smith authored 7 years ago
  
  4ae94632