https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/ 2026-05-10T14:30:19+00:00 https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/ https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/_media/wiki:dokuwiki-128.png text/html 2007-09-06T22:13:26+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/contact?rev=1189116806&do=diff Contact text/html 2008-06-25T21:23:13+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/course_outline?rev=1214428993&do=diff Course Outline SPIN Tool The course outline is a guideline to topics that will be discussed in the course, and when they will be discussed. Towards the end of the term we will be using the Spin tool (see demo, and Tutorial1) for describing and specifying safety critical systems. Spin and Xspin are installed on Prism ( text/html 2007-09-19T23:16:05+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/faq?rev=1190243765&do=diff Frequently Asked Questions text/html 2007-09-24T04:18:58+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/forums?rev=1190607538&do=diff Forums To ask questions, join the 4312 forum, using a cse.yorku.ca email address: <http://groups.yahoo.com/group/4312>. You should receive an invitation to join. Once you have joined, you can email your questions to 4312@yahoogroups.com. text/html 2007-12-11T00:06:01+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/grades?rev=1197331561&do=diff Grades - Tentative For projects you may work as an individual or in teams of at most two students. Deadlines are strict: by noon on the day stated in the drop box. Assignment and Project Deadlines are very strict (use a York medical certificate if you are seriously ill). text/html 2007-10-31T16:53:35+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/important_dates?rev=1193849615&do=diff Important Dates See update to due dates for assignments and projects. H = holyday, no class September 2007Sun Mon Tue Wed Thu Fri Sat2 3 4 5 6 Class 7 8 9 10 11 Class 12 13 H 14 H 15 16 17 18 Class 19 20 Class 21 22 Y 23 24 25 Class 26 27 Class text/html 2007-07-31T18:55:53+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/policies?rev=1185908153&do=diff Policies Here, you can list specific course 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/F/4312/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/F/4312/sidebar?rev=1709906551&do=diff * What's New * Course Outline * Important Dates * Grades * Assignments * Assignment 1 * Assignment 2 * Assignment 3 * Assignment 4 * Project 1 * Project 2 * Notes * Forums * Contact * Policies * Resources * Textbook * FAQs * Projects * Academic Dishonesty * F2008 text/html 2007-09-30T03:19:21+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/start?rev=1191122361&do=diff CSE4312E — Software Requirements Engineering SC/CSE 4312 3.00 Software Engineering Requirements Thiscourse deals with the elicitation, specification and analysis of software requirements and provides a critical description of available methods and tools, and practical exercises on applying these methods and tools to realistic problems. Three lecture hours per week. Prerequisites: General prerequisites, including text/html 2007-08-31T19:52:35+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/textbook?rev=1188589955&do=diff Textbook You may purchase books through the York University Bookstore.