Differences

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

--- start [2015/08/13 04:08] – jonathan
+++ start [2015/12/04 17:37] (current) – jonathan
@@ Line 2: / Line 2: @@
 ====== EECS4312  Fall 2015: Software Engineering Requirements======
-**Fall 2014: CSE4312 -- Software Engineering Requirements**
+**Fall 2015: CSE4312 -- Software Engineering Requirements**
 Please __**login**__ at the bottom of this page before proceeding.
@@ Line 8: / Line 8: @@
 ← Please read the **forum** regularly for course updates.
+Project submissions instructions are [[https://wiki.eecs.yorku.ca/course_archive/2015-16/F/4312/protected:project:submit:|here]]
 ===== Lecture Times =====
   * Tuesdays & Thursdays 4pm-5.30pm
-    * Tuesday lectures are to be held in SC303
+    * Tuesday lectures are to be held in <del>CB120</del> PSE321
-    * Thursday lectures are to be held in <del>CB120</del> BC215. However, some of Thursday lectures will be in the Prism Lab -- LAS 1002. Precise details to follow at this location.
+    * Thursday lectures are to be held in <del>CB120</del> PSE321.
-    * There will be an informal lab/tutorial every Thursday in LAS1002 from 1pm to 2.30pm
+    * There is a formal Lab every Thursday in LAS1002 from 5.30pm to 6.30pm in LAS1002. Labs start right away on the first day of class (with Lab0). Login with your Prism account, then do: ''~sel/retrieve/4312/lab0''. There is a Quiz after Lab submission.
+    * <hi>Office hours: Thursdays, 2pm-3pm in the SEL (LAS2056)</hi>
 ===== Learning outcomes =====
@@ Line 45: / Line 45: @@
   * Latex, for writing well formatted documents. (Word and other document systems do not do as well as Latex for formatting mathematics). See [[https://wiki.eecs.yorku.ca/project/sel-students/p:tutorials:latex:|LaTeX]] for more information.
 In class we will only cover some (but not all) of the above. So you will need to master the above material at your own pace. There will be some informal labs to help with PVS.
+Place the following in the .cshrc file in your home directory of your Prism account:
+  setenv PVS_LIBRARY_PATH "/cse/local/pkg/pvs/nasalib"
+  source /cs/local/packages/texlive/cshrc.texlive
+===== Virtual Machine with PVS/Latex =====
+PVS and Latex are available on the Prism/Linux workstations. There is also an SEL Linux-based Virtual Box Image. For instructions, see [[https://wiki.eecs.yorku.ca/project/sel-students/p:tutorials:vm:start:|here]] (use your Prism login)
+The SEL-VM is also available on red:
-PVS and Latex are available on the Prism/Linux workstations. There is also an SEL Linux-based Virtual Box Image
   red:/vbox/eecs-vbox-sel.ova
-for this course with PVS, Latex, Eclipse, EiffeStudio, ETF, etc. so that you can run all the software on your Laptop or home computer.
+The VM has PVS, Latex, Eclipse, EiffeStudio, ETF, Rodin, etc. so that you can run all the software on your Laptop or home computer.
 ===== Required Textbook =====