https://wiki.eecs.yorku.ca/course_archive/2014-15/W/3342/ 2026-04-03T23:32:13+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 2015-05-07T21:29:33+00:00 jonathan (jonathan@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 2015-04-07T23:51:37+00:00 jonathan (jonathan@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 2015-04-07T23:48:17+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2014-15/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/2014-15/W/3342/lib/images/fileicons/svg/pdf.svg" alt="hoare-turing-1980.pdf" loading="lazy" width="500" height="500" /> text/html 2015-03-20T19:01:17+00:00 jonathan (jonathan@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