https://wiki.eecs.yorku.ca/course_archive/2007-08/W/6442/ 2026-05-13T04:11:30+00:00 https://wiki.eecs.yorku.ca/course_archive/2007-08/W/6442/ https://wiki.eecs.yorku.ca/course_archive/2007-08/W/6442/_media/wiki:dokuwiki-128.png text/html 2008-01-09T03:42:21+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/W/6442/contact?rev=1199850141&do=diff Contact text/html 2008-01-09T03:38:29+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/W/6442/course_outline?rev=1199849909&do=diff Course Outline text/html 2008-01-09T03:43:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/W/6442/faq?rev=1199850232&do=diff Frequently Asked Questions text/html 2007-08-02T17:22:57+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/W/6442/forums?rev=1186075377&do=diff Forums This page acts as a future placeholder for a link to a forum system. text/html 2008-01-09T03:40:44+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/W/6442/grades?rev=1199850044&do=diff Grades The weight distribution of the course components is as follows: * 30% - Assignments * 45% - Project * 25% - Research Paper on use of OO formal methods tools (includes presentation). You can view your marks here. text/html 2008-01-09T03:38:39+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/W/6442/important_dates?rev=1199849919&do=diff Important Dates text/html 2008-01-09T03:42:35+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/W/6442/policies?rev=1199850155&do=diff Policies Academic Dishonesty For more information on Academic Dishonesty, click here. text/html 2007-07-31T18:59:29+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/W/6442/resources?rev=1185908369&do=diff Resources Use this page to list additional Resources that may be helpful to your students. * 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/2007-08/W/6442/sidebar?rev=1709906551&do=diff * What's New * Course Outline * Important Dates * Grades * Notes * Assignments * Assignment 1 * Assignment 2 * Assignment 3 * Forums * Contact * Policies * Resources * Textbook * FAQs * Academic Dishonesty text/html 2008-01-09T23:32:01+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/W/6442/start?rev=1199921521&do=diff W08-6442: Object Oriented Software Construction * Text: Bertrand Meyer, Object Oriented Software Construction, Prentice Hall, 2007 * See Eiffel@York for the language (Eiffel) and tools (EiffelStudio version 6.1 and ESpec) needed for this course. Other tools will be introduced at a later time. text/html 2008-01-09T03:43:40+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/W/6442/textbook?rev=1199850220&do=diff Textbook You will require the following textbook for this course: * Bertrand Meyer, Object Oriented Software Construction, Prentice Hall, 2007 text/html 2008-01-09T03:38:16+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/W/6442/whats_new?rev=1199849896&do=diff What's New?