https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/ 2026-04-07T20:20:44+00:00 https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/ https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/_media/wiki:dokuwiki-128.png text/html 2011-04-11T19:29:02+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/course_outline?rev=1302550142&do=diff Course Outline The schedule below (taken from Winter 2010) will be updated as the term proceeds. The SVN will have a list of exercises that you must do on your own to test your knowledge of the material and to help you to prepare for the labtests and exam. text/html 2011-04-06T03:03:50+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/grades?rev=1302059030&do=diff Grades Dates/Grades Winter 2011 Dates * January 4 - Winter Classes Start * February 19-25 - Reading Week * March 4 - Last date to drop courses without receiving a grade * April 4 - Winter Classes End * April 6-23 - Winter Exams text/html 2011-03-23T17:06:26+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/resources?rev=1300899986&do=diff Resources Use this page to list additional Resources that may be helpful to your students. * Department of CSE Home Page * York Exam Schedule Event-B * Event-B slides (this course uses a modified version of these slides) * How to use the provers * Rodin Prover Perspective * Textbook by Ken Robinson * Slides on Event-B used for Deploy Associate Training (Michael Butler) * Inference Rules Rodin Version 2.0.1 Rodin/Eclipse works on Win/Mac/Linux. Go to the text/html 2011-03-02T23:51:35+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/sidebar?rev=1299109895&do=diff * Forum/Announcements * Course Outline * Dates/Grades * SVN * Contact * Resources * Textbook * Project * Academic Honesty * Private