Differences

This shows you the differences between two versions of the page.

--- resources [2013/11/05 20:00] – zmjiang
+++ resources [2013/12/07 02:26] (current) – zmjiang
@@ Line 21: / Line 21: @@
   * 10 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_10Validation.pdf|Requirements Validation]]
   * 11 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_11UIAndNFR.pdf|UI and Non-Functional Requirements]]
+  * 12 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_12IntroToFormalMethods.pdf|Introduction to Formal Specifications, Proposition and Predicate Logic, Sets and Relations]]
+  * 13 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_13IntroToAlloy.pdf|Introduction to Alloy]]
+    * [[http://alloy.mit.edu/alloy/documentation.html|Alloy Resources]]
+    * [[http://www.youtube.com/watch?v=azTVEwxN8zM|Google Tech Talk on Using Java PathFinder for Model Checking]]
+  * 14 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_14MoreAlloyConstructs.pdf|More Alloy Constructs]]
+    * [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/14_academic_exercise.als|Alloy Code for the Academic Exercises]]
+  * 15 Static and Dynamic Models[[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_15StaticAndDynamicModels.pdf|Part 1]], [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_15StaticAndDynamicModels_part2.pdf|Part 2]]
+    * [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/15_sportsTeam1_static.als|Sports Team - Static Modeling]]
+    * [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/15_sportsTeam2_dynamic.als|Sports Team - Dynamic Modeling]]
+  * 16 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_16FunctionTables.pdf|Tabular Expressions]]
+    * [[http://vimeo.com/10556923|Precise Documentation: The Key to Better Software]]
+    * [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/icse1994_softwareAgaingParnas.pdf|Software Aging]]
+    * [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/itcc2005_dellkeyboardBaber.pdf|Dell Keyboard Case Study]]
+  * 17 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_17FinalRecap.pdf|Final Recap]]
+  * [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/cse_recruitment_2014_v2.pdf|Graduate Studies at York]]
 ====== York University ======