Differences

This shows you the differences between two versions of the page.

--- start [2010/12/31 20:14] – jonathan
+++ start [2011/03/24 19:57] (current) – jonathan
@@ Line 1: / Line 1: @@
 ~~NOTOC~~
-====== W11-CSE3341M - Introduction to Program Verification  ======
+====== Winter 2011: CSE3311Z -Software Design  ======
 ===== Lecture Times =====
-  * Tuesdays/Thursday 11.30am-1pm BC-215
+  * Mon./Wed. 4.00-5.30pm BC-215
-  * We will be using the [[http://www.event-b.org/platform.html|Rodin]] toolset. For textbook and course slides see [[:textbook|here]].
+  * **Important**: Subscribe to: [[https://forum.cse.yorku.ca/viewforum.php?f=132|3311 Forum]] for the latest announcements. Please ask all questions relating to the course material on the forum (not via email). For all other questions, see me during office hours. Read the course outline regularly.  See bottom** ↓** of this page for login with your Prism password. Slides are available from the SVN repository (see link in the sidebar, once you have logged on).
-  * **Important**: Subscribe to: [[https://forum.cse.yorku.ca/viewforum.php?f=134|3341 Forum]] for the latest announcements. Please ask all questions relating to the course material on the forum (not via email). For all other questions, see me during office hours. Read the course outline regularly.
+  * Office hours: Mon. 5.30-6.15pm & Thu. 1-1.45pm in the SEL (CSE2056).
+  * [[:project|Project sign up with TA]]
-  * Office hours: Mon. 5.30-6.15pm & Thu. 1-1.45pm in the SEL (CSE2056).
 ===== Course Description =====
+A study of design methods and their use in the correct implementation, maintenance and evolution of software systems. Topics include design, implementation, testing, documentation needs and standards, support tools. Students design and implement components of a software system