User Tools

Site Tools


resources

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
resources [2013/11/24 20:38] zmjiangresources [2013/12/07 02:26] (current) zmjiang
Line 27: Line 27:
   * 14 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_14MoreAlloyConstructs.pdf|More Alloy Constructs]]   * 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]]     * [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/14_academic_exercise.als|Alloy Code for the Academic Exercises]]
-  * 15 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_15StaticAndDynamicModels.pdf|Static and Dynamic Models]]+  * 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_sportsTeam1_static.als|Sports Team - Static Modeling]]
-  * 16 Tabular Expressions+    * [[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://vimeo.com/10556923|Precise Documentation: The Key to Better Software]]
-    * [[http://dl.acm.org/citation.cfm?id=257788|Software Aging (free to download if access inside the York network)]] +    * [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/icse1994_softwareAgaingParnas.pdf|Software Aging]] 
-    * [[http://dl.acm.org/citation.cfm?id=257788|Dell Keyboard Case Study (free to download if access inside the York network)]]+    * [[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 ====== ====== York University ======
resources.1385325505.txt.gz · Last modified: 2013/11/24 20:38 by zmjiang

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki