====== Resources ======

Slides and additional references will be posted here. 

====== Course Slides and Additional References ======
  * 0 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_00IntroductionAdmin.pdf|Introduction and Admin]] 
  * 1 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_01StateofPractice.pdf|Software Development Process, State of Practice]]
  * 2 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_02WhatAreRequirements_REProcess.pdf|What are Requirements, Requirements Engineering Process]]
    * Dan Berry. [[https://cs.uwaterloo.ca/~dberry/FTP_SITE/tech.reports/more.house.reqmnts.engr.pdf|More Requirements Engineering Adventures with Building Contractors]]
  * 3 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_03ProblemAnalysis.pdf|Problem Analysis]]
  * 4 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_04RequirementsElicitation.pdf|Requirements Elicitation]] 
  * 5 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_05UMLOverview.pdf|UML Overview]], [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/Slides_Spiros_UML.pdf|Spiros UML Slides]]
  * 6 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_06UseCases.pdf|Expressing Functional Requirements: Use Cases]]
    * [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/project/IEEE_Standard_1998.pdf|IEEE SRS Template]] 
    * [[http://www.craiglarman.com/wiki/downloads/applying_uml/larman-ch6-applying-evolutionary-use-cases.pdf|Craig Larmen's Use Case Modeling: Writing Requirements in Context]]
    * [[http://spectrum.ieee.org/print/1455|Who Killed the Virtual Case File?]] from IEEE Spectrum
    * [[http://www.drdobbs.com/top-ten-use-case-mistakes/184414701|Top Ten Use Case Mistakes]] 
  * 7 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_07DomainModels.pdf|Expressing Functional Requirements: Domain Models]]
  * 8 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_08Interactions.pdf|Expressing Functional Requirements: Interactions]]
  * 9 [[http://www.cse.yorku.ca/~zmjiang/teaching/cse4312_f2013/slides/CSE4312_09MidtermReview.pdf|Mid-term Review]]
  * 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 ======
  * [[http://www.cse.yorku.ca|Department of CSE Home Page]]
  * [[https://w2prod.sis.yorku.ca/Apps/WebObjects/cdm.woa/wa/curexam|York Exam Schedule]]