https://wiki.eecs.yorku.ca/course_archive/2017-18/W/3342/ 2026-05-12T08:28:24+00:00 https://wiki.eecs.yorku.ca/course_archive/2017-18/W/3342/ https://wiki.eecs.yorku.ca/course_archive/2017-18/W/3342/_media/wiki:dokuwiki-128.png text/html 2018-01-09T03:02:01+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2017-18/W/3342/contact?rev=1515466921&do=diff Contact Course Director Jonathan Ostroff (EECS email: jonathan) Please ask course question on the course forum. Office Hours: Mondays 5.30pm to 6.30pm Software Technician Daman Chhina (EECS email: daman97) in office LAS2015. You may consult Daman in his office hours at the following times for Labs, feedback on Labs/Quizzes, and the Project. text/html 2018-01-03T02:03:06+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2017-18/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/2017-18/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/2017-18/W/3342/forums?rev=1186075377&do=diff Forums This page acts as a future placeholder for a link to a forum system. text/html 2018-02-27T19:30:31+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2017-18/W/3342/grades?rev=1519759831&do=diff Dates/Grades Winter 2018 Dates Winter 2018 * Thursday January 4 - Winter Classes Start * February 17-23 - Reading Week * Friday March 9 - Last date to drop course without receiving a grade * Thursday April 5 - Last date to submit term work * Last day to submit work: April 5 text/html 2007-07-31T17:53:24+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2017-18/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/2017-18/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 2017-01-03T03:26:45+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2017-18/W/3342/resources?rev=1483414005&do=diff Resources For information on Event-B/Rodin, see resources (login at bottom right) 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/2017-18/W/3342/sidebar?rev=1709906551&do=diff * Forum/What's New * SVN * Course Outline * Dates/Grades * Labs * Quiz * Project * Lecture Videos * Contact/Office Hours * Resources * Academic Honesty text/html 2018-02-09T16:07:13+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2017-18/W/3342/start?rev=1518192433&do=diff EECS3342 2018W System Specification and Refinement EECS3342 Winter 2018 Specification and Refinement Video introducing Event-B/Rodin Getting Started * EECS3342 System Specification and Refinement Lecture Times: * Class TR 11.30am, Bergeron 211 * Scheduled Labs: Every Tuesday 1pm to 2pm in LAS 10042. Lab attendance is required and there will be required labs, and a quiz almost every week, 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/2017-18/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/2017-18/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.