Wisconsin Logo

CS 706: Analysis of Software Artifacts (Fall 2002)

Home page

[Home] [Detailed course document] [Notes] [Assignments] [Tools] [Project] [Messages]

Instructor
Somesh Jha,
5393 Computer Sciences and Statistics Building
email:jha@cs.wisc.edu

Time and place
MWF 2:25-3:15pm, 138 Psychology.
Office hours: Monday, 4:30-6:00pm.
The TA for this class is
Minyi Xu.
Minyi's office hours are Tuesdays, 2:00-3:00pm and 4:00-5:00pm in 3130 CS.
email:minyi@cs.wisc.edu

Audience
CS 706 is an introduction to the analysis of a variety of artifacts arising in the context of software engineering. It is suitable for students with a general background in computer science or electrical engineering.

General Description
This course is motivated by three dominating trends in modern software development: