https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/ 2026-05-12T13:57:59+00:00 https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/ https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/_media/wiki:dokuwiki-128.png text/html 2017-01-11T03:23:46+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/contact?rev=1484105026&do=diff Contact Course Director Jonathan Ostroff (jonathan at yorku dot ca) Please ask course question on the course forum. Office Hours: Every Wednesday 5.30-.630pm (either in LAS2056 or LAS2045) Teaching Assistants and Software Technician Marina (marina at cse dot yorku dot ca). text/html 2017-12-27T18:17:05+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/course_outline?rev=1514398625&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/2016-17/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/2016-17/W/3342/forums?rev=1186075377&do=diff Forums This page acts as a future placeholder for a link to a forum system. text/html 2017-04-04T00:52:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/grades?rev=1491267172&do=diff Grades Dates/Grades Winter 2017 Dates Winter 2017 * January 5 - Winter Classes Start * February 18-24 - Reading Week * March 10 - Last date to drop courses without receiving a grade * Thursday April 5 - Winter Classes End * 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/2016-17/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/2016-17/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/2016-17/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/2016-17/W/3342/sidebar?rev=1709906551&do=diff * Forum/What's New * SVN * Course Outline * Dates/Grades * Labs * Project * Contact/Office Hours * Resources * Academic Honesty text/html 2017-01-05T22:34:49+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/start?rev=1483655689&do=diff EECS3342 2017W System Specification and Refinement EECS3342 Winter 2017 Specification and Refinement Video introducing Event-B/Rodin Getting Started * EECS3342 System Specification and Refinement Lecture Times: * Class TR 11.30am <hi>From 10 January and onwards, lectures are in Bergeron 213</hi>. text/html 2007-07-31T18:42:03+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2016-17/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/2016-17/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.