https://wiki.eecs.yorku.ca/course_archive/2014-15/W/3342/ 2026-05-14T19:48:38+00:00 https://wiki.eecs.yorku.ca/course_archive/2014-15/W/3342/ https://wiki.eecs.yorku.ca/course_archive/2014-15/W/3342/_media/wiki:dokuwiki-128.png text/html 2014-12-19T19:26:39+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2014-15/W/3342/contact?rev=1419017199&do=diff Contact Course Director Jonathan Ostroff Teaching Assistants Simon Hudon Office Hours text/html 2015-04-07T23:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2014-15/W/3342/course_outline?rev=1428450697&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: Reactive systems: Bridge * Read the Rodin Users handbook up to and including Section 2.5.2. * Bridge controller (reactive systems) text/html 2007-08-01T14:34:50+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2014-15/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/2014-15/W/3342/forums?rev=1186075377&do=diff Forums This page acts as a future placeholder for a link to a forum system. text/html 2015-03-20T19:01:17+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2014-15/W/3342/grades?rev=1426878077&do=diff Grades Dates/Grades Winter 2015 Dates Winter 2015 * January 5 - Winter Classes Start * February 14-20 - Reading Week * March 6 - Last date to drop courses without receiving a grade * April 6 - Winter Classes End * April 8-24 - Winter Exams text/html 2007-07-31T17:53:24+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2014-15/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/2014-15/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 2014-12-30T03:15:02+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2014-15/W/3342/resources?rev=1419909302&do=diff Resources Event-B/Rodin * Main Event-B website * Rodin Download Site * Event-B Language and Slides * Rodin 3.1 Release notes Install Rodin Rodin is available on the Prism Workstations and the SEL Virtual Machine (which also included an install of Latex). 1. Download Rodin Rodin 3.1 for your platform and install. 2. Install the Atelier B provers.Please proceed as follow: From the main menu bar, select Help > Install New Software text/html 2024-03-08T14:02:31+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2014-15/W/3342/sidebar?rev=1709906551&do=diff * Forum/What's New * SVN * Labs * Course Outline * Dates/Grades * Project * Contact/Office Hours * Resources * Academic Honesty text/html 2015-05-07T21:29:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2014-15/W/3342/start?rev=1431034173&do=diff EECS3342 2015W System Specification and Refinement Getting Started * EECS3342 System Specification and Refinement Lecture Times: * Class TR 11.30am, SC211. * Every Tuesday 13:00 LAS 1002A. Labs attendance is required and there will be required labs and Labtests during some of the sessions. text/html 2007-07-31T18:42:03+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2014-15/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/2014-15/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.