EECS4315

User Tools

Site Tools

You are here: Mission Critical Systems » Course Syllabus
Trace:
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 [2019/07/29 21:17] – francksyllabus [2020/02/05 01:21] (current) – franck
Line 9: Line 9:
 //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//: Monday and Wednesday, 10:30-11:30 or by appointment, Lassonde Building, room 3046+//Office Hours//: Monday and Wednesday, 10:30-11:30 or by appointment, Lassonde Building, room 3046\\ 
 +//Teaching assistant//: Amgad Rady
  
 ====== Labs ====== ====== Labs ======
Line 38: Line 39:
   * 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 Also the notes
-  * Franck van Breugel.  //{{:notes.pdf|Java PathFinder: a tool to detect bugs in Java code}}.//  2019.+  * Franck van Breugel.  //{{:notes.pdf|Java PathFinder: a tool to detect bugs in Java code}}.//  2020.
 will be used.  Additional reading material will be provided on this course wiki. will be used.  Additional reading material will be provided on this course wiki.
  
Line 45: Line 46:
 ====== Evaluation ====== ====== Evaluation ======
  
-<html> 
-<!-- 
 Students are evaluated based on Students are evaluated based on
-  * 3 quizzes (5% each) +  * three quizzes (10% each) 
-  * a midterm (15%) +  * a midterm (10%) 
-  * a final exam (30%) +  * a final exam (10%) 
-    * written part (15%) +  * a project (50%)
-    * programming part (15%) +
-  * a project (40%)+
     * installing JPF (5%)     * installing JPF (5%)
     * draft project proposal (2%)     * draft project proposal (2%)
     * project proposal (3%)     * project proposal (3%)
-    * progress report 1 (5%) +    * first progress report (5%) 
-    * progress report 2 (5%) +    * second progress report (5%) 
-    * deliverables (20%) +    * presentation (10%) 
---> +    * report (10%) 
-</html>+    * code (10%)
  
 Students can view their marks using the  Students can view their marks using the 
Line 68: Line 65:
 ====== Project ====== ====== Project ======
  
-Very brief descriptions of the last four years' projects can be found [[projects|here]].  A sample of a draft proposal can be found {{draftproposal.pdf|here}}.+Very brief descriptions of the last four years' projects can be found [[projects|here]].  A sample of a draft proposal can be found {{draft.pdf|here}}.
  
 ====== Academic Honesty ====== ====== Academic Honesty ======
syllabus.1564435028.txt.gz · Last modified: by franck