[CSUSB] >> [Comp Sci Dept] >> [R J Botting] >> [Formal Methods Course Materials] >> [Classes] >> 01
|| [Schedule] || [Syllabus] || [Definitions] || [Grades] Wed Oct 1 09:12:57 PDT 2003
Surviving CS656/556

Background
	My interest and expertise: 1960's
	Math&logic+tools help you make better software.
	Use them for requirements, specifications, and programs.

Handout
	Motivate
            Avoided bugs IEEE trans SE
            Security news: BLM, XP, AOL IM
            FTP hangman
Goals??

Syllabus
	Book
	WWW
	Schedule
		Midterm on Logic Feb 12
		Final on all Friday March 21

Hints
	Read and take notes
	Try Exercises (many if time)
	Class:  Assigned work is due in
		Plan will be on WWW but interactive.
		Ends with assigning an exercise.
	Labs: will vary a lot, not preposted
	cs656 Paper & presentations: ABCDF
              start looking for topics NOW.

Lab: Find cs556 and cs656 Website
	Search for "formal methods" on Internet and report to class.

Assigned work
	Handouts from this class.
	Book: preface, contents, section 1.1, look at exercises 1.1.


Next:
http://www.csci.csusb.edu/dick/cs656/class/02.html