CSE4312

User Tools

Site Tools

You are here: CSE4312
Trace:
start

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
start [2012/08/29 17:56] – jonathanstart [2012/12/14 03:11] (current) – jonathan
Line 28: Line 28:
    
 In addition In addition
-  * you will be a temporal logic model checker using the for doing mathematical requirements analysis and verification (either [[http://www.comp.nus.edu.sg/~pat/|PAT2]]. See Chapter 17 in the suggested text.+  * you will be using a temporal logic model checker or doing mathematical requirements analysis and verification ([[http://www.comp.nus.edu.sg/~pat/|PAT2]] together with our own TTM plugin). See also Chapter 17 in the suggested text.
   * You will also need to know some of the UML diagrams (you may want to read UML distilled : a brief guide to the standard object, Martin Fowler, available from Steacie).   * You will also need to know some of the UML diagrams (you may want to read UML distilled : a brief guide to the standard object, Martin Fowler, available from Steacie).
  
start.1346262981.txt.gz · Last modified: by jonathan