User Tools

Site Tools


syllabus

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
syllabus [2017/02/15 01:09] francksyllabus [2018/02/15 18:23] (current) franck
Line 5: Line 5:
 ====== Lectures ====== ====== Lectures ======
  
-//Time//: Wednesday and Friday, 9:00-10:30\\ +//Time//: Tuesday and Thursday, 9:00-10:30\\ 
-//Location//: Chemistry Building, room 120\\+//Location//: Stong College, room 203\\
 //Instructor//: [[http://www.cse.yorku.ca/~franck|Franck van Breugel]], //Instructor//: [[http://www.cse.yorku.ca/~franck|Franck van Breugel]],
 [[franck@eecs.yorku.ca]]\\ [[franck@eecs.yorku.ca]]\\
-//Office Hours//: Wednesday, 10:30-11:30, Lassonde Building, room 3046+//Office Hours//: Tuesdays and Thursdays, 10:30-11:30 or by appointment, Lassonde Building, room 3046
  
 ====== Labs ====== ====== Labs ======
  
-//Time//: Monday11:00-12:00\\ +//Time//: Friday10:00-11:00\\ 
-//Location//: Lassonde Building, lab 1006C\\ +//Location//: Lassonde Building, lab 1004\\ 
-//Teaching Assistant//: Qiyi Tang, [[qiyitang@eecs.yorku.ca]]+//Teaching Assistant//: [[http://www.cse.yorku.ca/~qiyitang|Qiyi Tang]], 
 +[[qiyitang@eecs.yorku.ca]]
  
 ====== Description ====== ====== Description ======
Line 38: Line 39:
 The textbook for this course is The textbook for this course is
   * Christel Baier and Joost-Pieter Katoen.  //Principles of Model Checking.//  The MIT Press.  2008.   * Christel Baier and Joost-Pieter Katoen.  //Principles of Model Checking.//  The MIT Press.  2008.
- +Also the notes 
-Additional reading material will be provided on this course wiki.+  * Franck van Breugel.  //{{:notes.pdf|Java PathFinder: a tool to detect bugs in Java code}}.//  2017. 
 +will be used.  Additional reading material will be provided on this course wiki.
  
  
Line 46: Line 48:
  
 Students are evaluated based on Students are evaluated based on
-  * bi-weekly quizzes (5% each) +  * quizzes (5% each
-  * a project (40%: 5% for installing JPF, 2% for draft project proposal, 3% for project proposal)+  * a midterm (20%
 +  * a project (30%: 5% for installing JPF, 2% for draft project proposal, 3% for project proposal)
   * a final exam (30%)   * a final exam (30%)
  
 Students can view their marks using the  Students can view their marks using the 
-[[https://www.cse.yorku.ca/~roumani/ePost/server/ep.cgi?year=2016-17&term=W&course=4315|ePost]] system.+[[https://www.cse.yorku.ca/~roumani/ePost/server/ep.cgi?year=2017-18&term=W&course=4315|ePost]] system.
  
 ====== Project ====== ====== Project ======
  
-Very brief descriptions of last year'projects can be found [[projects|here]].+Very brief descriptions of the last two years' projects can be found [[projects|here]].  A sample of a draft proposal can be found {{draftproposal.pdf|here}}.
  
 ====== Academic Honesty ====== ====== Academic Honesty ======
syllabus.1487120958.txt.gz · Last modified: 2017/02/15 01:09 by franck

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki