Announcements for CSE470 (Fall 2000: Dr. Cheng's class )

  • Spin on Unix put `/soft/lus/spin/bin' in your execution path. Then you can type xspin to run the model checker.

  • Dome Modeling:
    When creating your Dome models, be sure that you are using
    the editor files from the 470 directory (via samba). When you use
    "Open" you should cd into the 470/Public/Software/Dome directory and
    see msu-X*.met files that refer to the MSU versions of use case,
    class, state, and sequence diagrams. If you don't know what I'm talking
    about, please talk to Arun in lab or send me email.
    
  • Operations vs Methods
  • Latex your homework assignment, generate a Postscript file, print the PS file, and bring it to class on Thursday.
  • Running latex: be sure to include the following line in your .personal file
    setenv TEXINPUTS ".:~cse470/TeX/TeXmacros:"
  • CSE470, Fall 2000 coursepacks for Dr. Cheng's class are available in the Copy Center in Anthony Hall(1127).