Handouts Information

Handouts for CPS470
  • Brief Logic Overview

  • Safety-Critical Accidents (Excerpt from Amy Christensen's MS thesis)

  • Tcl/Tk Information (courtesy of cps479)
  • Examples from Ousterhout's book (our text).

  • Welch's Homepage

  • A Tcl Book On Line (PostScript)

  • Tcl FAQ

  • A Tcl Home Page

  • Ousterhout on Tcl/Tk at USENIX

  • Mixing Tcl/Tk with C (in PostScript)

  • LaTeX-related Information
  • Essentials to Latex (updated)

  • Latex2e for Authors

  • Gentle Guide to Latex2e

  • Gentle Guide to TeX (Assembly language version of Latex)

  • Latex2HTML Manual

  • HTML-related information

  • Local Tutorial on HTML
  • Creating HTML -- A simple guide
  • Lots -- Beginner's Guide, Intro, Overview, etc.
  • Hex Codes for colors

  • Sample Specifications (Report in HTML format)

  • Sample Specifications (concise form)

  • Overview of Logic (under construction)

  • Java Notes (Courtesy of Dr. Steve Turner)
  • Java1
  • Other Java sources of information
  • Java Source (Language, API, Tutorial, etc. from Sun Microsystems):
  • Java Resource Page
  • A Brief Introduction to Java
  • Java Programming Resource
  • Over 500 Links to Java related Stuff
  • All kinds of information

  • Flex and Bison Information
  • Flex, version 2.5 Manual
  • Bison Manual

  • CGI -- Common Gateway Interface -- Information
  • Overview -- Under CGI Scripts section

  • Revision Control System (RCS) Information

  • Introduction to RCS

  • RCS Functionalities

  • RCS Tutorial

  • Computing Facilities Handbook