https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/ 2026-04-05T16:32:59+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-05-14T19:10:10+00:00 jonathan (jonathan@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 2019-05-14T19:07:05+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/?image=engineer-vs-designer.png&ns=0&rev=1557860825&tab_details=history&media_do=diff&do=media <img src="https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/_media/engineer-vs-designer.png?w=500&amp;h=500&amp;tok=edb2da" alt="engineer-vs-designer.png" loading="lazy" width="500" height="500" /> text/html 2019-04-23T22:28:03+00:00 jonathan (jonathan@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 2019-01-02T18:09:21+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/?image=grades.png&ns=0&rev=1546452561&tab_details=history&media_do=diff&do=media <img src="https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/_media/grades.png?w=500&amp;h=500&amp;tok=97a30a" alt="grades.png" loading="lazy" width="500" height="500" /> text/html 2019-01-02T18:07:09+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/?image=schedule.png&ns=0&rev=1546452429&tab_details=history&media_do=diff&do=media <img src="https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/_media/schedule.png?w=500&amp;h=500&amp;tok=bf5ef9" alt="schedule.png" loading="lazy" width="500" height="500" /> text/html 2018-02-20T04:11:35+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/?image=shedule.png&ns=0&rev=1519099895&tab_details=history&media_do=diff&do=media <img src="https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/_media/shedule.png?w=500&amp;h=500&amp;tok=217608" alt="shedule.png" loading="lazy" width="500" height="500" /> text/html 2017-01-05T04:48:43+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/?image=01-intro-bank.pdf&ns=0&rev=1483591723&tab_details=history&media_do=diff&do=media <img src="https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/lib/images/fileicons/svg/pdf.svg" alt="01-intro-bank.pdf" loading="lazy" width="500" height="500" /> text/html 2015-04-07T23:48:17+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/?image=wiki%3Ahoare-turing-1980.pdf&ns=wiki&rev=1428450497&tab_details=history&media_do=diff&do=media <img src="https://wiki.eecs.yorku.ca/course_archive/2018-19/W/3342/lib/images/fileicons/svg/pdf.svg" alt="hoare-turing-1980.pdf" loading="lazy" width="500" height="500" />