https://wiki.eecs.yorku.ca/course_archive/2019-20/W/3342/ 2026-06-20T21:33:47+00:00 https://wiki.eecs.yorku.ca/course_archive/2019-20/W/3342/ https://wiki.eecs.yorku.ca/course_archive/2019-20/W/3342/_media/wiki:dokuwiki-128.png text/html 2018-01-03T02:03:06+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/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/2019-20/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/2019-20/W/3342/forums?rev=1186075377&do=diff Forums This page acts as a future placeholder for a link to a forum system. text/html 2020-04-05T01:38:14+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/3342/grades?rev=1586050694&do=diff Dates Winter 2020 We realize the stress of the move to online lectures and labs in the wake of the coronavirus. So, dedicated staff will continue to provide support to help students manage their academics and well-being. If you are experiencing anxiety or stress, please reach out to Student Counselling & Development at 416-736-5297 or visit the website (see below) to learn about remote access of services. text/html 2007-07-31T17:53:24+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/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/2019-20/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/2019-20/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/2019-20/W/3342/sidebar?rev=1709906551&do=diff * Forum/What's New * SVN * Course Outline * Dates/Grades * Labs * Lab/Assignment * Online Labs/TA hours * Online Videos (2020) * Project * Contact/Office Hours * Resources * Academic Honesty * Lecture Videos (2018) text/html 2020-01-07T16:03:51+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/3342/start?rev=1578413031&do=diff EECS3342-W20 System Specification and Refinement This course wiki is under construction and reflects what was done last year. It will be updated at the start of the W20 term. EECS3342 Winter 2019 Specification and Refinement Video introducing Event-B/Rodin (Abrial). Lab0 has been released for this week text/html 2007-07-31T18:42:03+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/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/2019-20/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.