https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/ 2026-05-14T03:32:52+00:00 https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/ https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/_media/wiki:dokuwiki-128.png text/html 2019-03-19T03:19:27+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/contact?rev=1552965567&do=diff Contact Course Director Jonathan Ostroff (EECS email: jonathan) Please ask course question on the course forum. Office Hours: Tuesdays 5.00pm to 6.30pm, LAS2045. Teaching Assistant Behshad Sebthosseini (EECS email: behshad) Office Hours: Every Friday 11am to 1pm. text/html 2018-01-03T02:03:06+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/course_outline?rev=1514944986&do=diff Course Outline The course outline is a guideline to topics that will be discussed in the course, and when they will be discussed: Introduction Use this small project to get started with Event-B and the Rodin tool * [Simple Bank System]. Introduction to Specification and Refinement. text/html 2007-08-01T14:34:50+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/faq?rev=1185978890&do=diff Frequently Asked Questions Here, you can list frequently asked questions from your students along with responses. General Do I need to register for a CSE Computer Account? Yes. Do I need to attend class? If you wish to pass. Tests Do I need to write all tests? text/html 2007-08-02T17:22:57+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/forums?rev=1186075377&do=diff Forums This page acts as a future placeholder for a link to a forum system. text/html 2019-04-23T22:28:03+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/grades?rev=1556058483&do=diff Dates/Grades Winter 2019 Dates Winter 2019 * Thursday January 3 - Winter Classes Start * February 16-22 - Reading Week * Friday March 8 - Last date to drop course without receiving a grade * Thursday April 3 - Last date to submit term work * text/html 2007-07-31T17:53:24+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/important_dates?rev=1185904404&do=diff Important Dates Here, you would list important dates for your course. * Sept 1 - Assignment 1 Due * Oct 1 - Course finished text/html 2007-07-31T18:55:53+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/policies?rev=1185908153&do=diff Policies Here, you can list specific course policies. Academic Dishonesty For more information on Academic Dishonesty, click here. text/html 2019-01-03T21:13:05+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/resources?rev=1546549985&do=diff Resources For information on Event-B/Rodin, see resources (login at bottom right) SEL Virtual Machine The SEL Virtual Machine is available here. For further help, see here (login for the password to access the VM). Other Resources * Department of CSE Home Page * York Exam Schedule text/html 2024-03-08T14:02:31+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/sidebar?rev=1709906551&do=diff * Forum/What's New * SVN * Course Outline * Dates/Grades * Labs * Project * Lecture Videos * Contact/Office Hours * Resources * Academic Honesty text/html 2019-05-14T19:10:10+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/start?rev=1557861010&do=diff EECS3342-W19 System Specification and Refinement EECS3342 Winter 2019 Specification and Refinement Video introducing Event-B/Rodin. Do Lab0 Prep and Readings. Getting Started * EECS3342 System Specification and Refinement Lecture Times: * Class TR 11.30am, Bergeron 311 * Scheduled Labs text/html 2007-07-31T18:42:03+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/textbook?rev=1185907323&do=diff Textbook You will require the following textbook for this course: * Jane Doe. Absolute Computing. Second edition. Addison Wesley, 2007. You may purchase this book through the York University Bookstore. text/html 2007-08-02T18:27:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/whats_new?rev=1186079272&do=diff What's New? Here, you can list what's new in your course. 07-31-07 Assignment 1 is now due. If you have not submitted it, you will score 0. 07-28-07 Assignment 1 is coming due shortly. Please ensure that you submit it on time.