https://wiki.eecs.yorku.ca/course_archive/2015-16/W/3342/ 2026-04-10T15:12:17+00:00 https://wiki.eecs.yorku.ca/course_archive/2015-16/W/3342/ https://wiki.eecs.yorku.ca/course_archive/2015-16/W/3342/_media/wiki:dokuwiki-128.png text/html 2016-04-19T22:22:30+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2015-16/W/3342/start?rev=1461104550&do=diff EECS3342 2016W System Specification and Refinement EECS3342 Winter 2016 Specification and Refinement Getting Started * EECS3342 System Specification and Refinement Lecture Times: * Class TR 11.30am, PSE321. <hi>Starting Thursday Jan 7, classes will be in the Bergeron Centre BCE-213</hi>. text/html 2016-04-19T22:22:18+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2015-16/W/3342/course_outline?rev=1461104538&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 2016-04-10T03:10:06+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2015-16/W/3342/grades?rev=1460257806&do=diff Grades Dates/Grades Winter 2016 Dates Winter 2016 * January 4 - Winter Classes Start * February 13-19 - Reading Week * March 4 - Last date to drop courses without receiving a grade * Thursday March 31 - Winter Classes End * Last day to submit work: April 4 text/html 2015-04-07T23:48:17+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2015-16/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/2015-16/W/3342/lib/images/fileicons/svg/pdf.svg" alt="hoare-turing-1980.pdf" loading="lazy" width="500" height="500" />