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 [2018/11/08 16:55] francksyllabus [2019/01/27 12:06] (current) franck
Line 38: Line 38:
   * 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}}.//  2017.+  * Franck van Breugel.  //{{:notes.pdf|Java PathFinder: a tool to detect bugs in Java code}}.//  2019.
 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 45:
 ====== Evaluation ====== ====== Evaluation ======
  
-<html> 
-<!-- 
 Students are evaluated based on Students are evaluated based on
-  * quizzes (5% each) +  * quizzes (5% each) 
-  * a midterm (20%) +  * a midterm (15%)
-  * a project (30%: 5% for installing JPF, 2% for draft project proposal, 3for project proposal)+
   * a final exam (30%)   * a final exam (30%)
---> +    * written part (15%) 
-</html>+    * programming part (15%) 
 +  * a project (40%) 
 +    * installing JPF (5%) 
 +    * draft project proposal (2%) 
 +    * project proposal (3%) 
 +    * progress report 1 (5%) 
 +    * progress report 2 (5%) 
 +    * deliverables (20%)
  
 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=2018-19&term=W&course=4315|ePost]] system. [[https://www.cse.yorku.ca/~roumani/ePost/server/ep.cgi?year=2018-19&term=W&course=4315|ePost]] system.
  
-<html> 
-<!-- 
 ====== Project ====== ====== Project ======
  
-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}}. --> +Very brief descriptions of the last three years' projects can be found [[projects|here]].  A sample of a draft proposal can be found {{draftproposal.pdf|here}}.
-</html>+
  
 ====== Academic Honesty ====== ====== Academic Honesty ======
Line 73: Line 74:
 ===== Land Acknowledgement ===== ===== Land Acknowledgement =====
  
-We acknowledge our presence on the traditional territory of many Indigenous Nations. The area known as Tkaronto has been care taken by the Anishinabek Nation, the Haudenosaunee Confederacy, the Huron-Wendat, and the Métis. It is now home to many Indigenous Peoples. We acknowledge the current treaty holdersthe Mississaugas of the New Credit First Nation. This territory is subject of the Dish With One Spoon Wampum Belt Covenant, an agreement to peaceably share and care for the Great Lakes region.+We recognize that many Indigenous nations have longstanding relationships with the territories upon which York University campuses are located that precede the establishment of York University. York University acknowledges its presence on the traditional territory of many Indigenous Nations. The area known as Tkaronto has been care taken by the Anishinabek Nation, the Haudenosaunee Confederacy, the Wendat, and the Métis. It is now home to many Indigenous Peoples. We acknowledge the current treaty holders and the Mississaugas of the Credit First Nation. This territory is subject of the Dish With One Spoon Wampum Belt Covenant, an agreement to peaceably share and care for the Great Lakes region.
  
 Information about York's Indigenous Framework can be found [[http://indigenous.info.yorku.ca/|online]]. Information about York's Indigenous Framework can be found [[http://indigenous.info.yorku.ca/|online]].
Line 79: Line 80:
 ===== Academic Integrity ===== ===== Academic Integrity =====
  
-There is an academic integrity website with comprehensive information about academic honesty and how to find resources at York to help improve students' research and writing skills, and cope with University life. Students are expected to review the materials in the [[http://www.yorku.ca/spark/academic_integrity/index.html| SPARK Academic Integrity module]].+There is an academic integrity website with comprehensive information about academic honesty and how to find resources at York to help improve students' research and writing skills, and cope with University life. Students are expected to review the materials in the [[http://www.yorku.ca/spark/academic_integrity/index.html|SPARK Academic Integrity module]].
  
 ===== Access/Disability ===== ===== Access/Disability =====
Line 90: Line 91:
   * [[https://accessibility.students.yorku.ca/|Student Accessibility Services]]   * [[https://accessibility.students.yorku.ca/|Student Accessibility Services]]
   * [[http://accessibilityhub.info.yorku.ca/|York Accessibility Hub]]   * [[http://accessibilityhub.info.yorku.ca/|York Accessibility Hub]]
 +  * [[http://secretariat-policies.info.yorku.ca/policies/academic-accommodation-for-students-with-disabilities-policy/|York's Senate Policy on Academic Accommodation for Students with Disabilities]]
  
 ===== Ethics Review Process ===== ===== Ethics Review Process =====
Line 97: Line 99:
 ===== Religious Observance Accommodation ===== ===== Religious Observance Accommodation =====
  
-York University is committed to respecting the religious beliefs and practices of all members of the community, and making accommodations for observances of special significance to adherents. Should any of the dates specified in this syllabus for an in-class test or examination pose such a conflict for you, contact the course director within the first three weeks of class. Similarly, should an assignment to be completed in a lab, practicum placement, workshop, etc., scheduled later in the term pose such a conflict, contact the course director immediately. Please note that to arrange an alternative date or time for an examination scheduled in the formal examination periods (December and April/May), students must complete an Examination Accommodation Form, which can be obtained from Student Client Services, Student Services Centre or [[http://www.registrar.yorku.ca/pdf/exam_accommodation.pdf|online]].+York University is committed to respecting the religious beliefs and practices of all members of the community, and making accommodations for observances of special significance to adherents. Should any of the dates specified in this syllabus for an in-class test or examination pose such a conflict for you, contact the course director within the first three weeks of class. Similarly, should an assignment to be completed in a lab, practicum placement, workshop, etc., scheduled later in the term pose such a conflict, contact the course director immediately. Please note that to arrange an alternative date or time for an examination scheduled in the formal examination periods (December and April/May), students must complete an Examination Accommodation Form, which can be obtained from Student Client Services, Student Services Centre or [[http://www.registrar.yorku.ca/pdf/exam_accommodation.pdf|online]]. More information can be found [[https://w2prod.sis.yorku.ca/Apps/WebObjects/cdm.woa/wa/regobs|online]]. 
  
 ===== Student Conduct in Academic Situations ===== ===== Student Conduct in Academic Situations =====
syllabus.1541696141.txt.gz · Last modified: 2018/11/08 16:55 by franck