Differences

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

--- syllabus [2018/11/08 17:18] – franck
+++ syllabus [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.
 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.
@@ Line 45: / Line 45: @@
 ====== Evaluation ======
-<html>
-<!--
 Students are evaluated based on
-  * 4 quizzes (5% each)
+  * 3 quizzes (5% each)
-  * a midterm (20%)
+  * a midterm (15%)
-  * a project (30%: 5% for installing JPF, 2% for draft project proposal, 3% for project proposal)
   * 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
 [[https://www.cse.yorku.ca/~roumani/ePost/server/ep.cgi?year=2018-19&term=W&course=4315|ePost]] system.
-<html>
-<!--
 ====== 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 ======
@@ Line 73: / Line 74: @@
 ===== 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 holders, the 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]].
 ===== Academic Integrity =====
-York's Senate Policy on Academic Honesty can be found [[http://secretariat-policies.info.yorku.ca/policies/academic-honesty-senate-policy-on/|online]].
 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]].