Wisconsin Logo

CS 706: Analysis of Software Artifacts (Fall 2001)

Home page

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

Somesh Jha,
5393 Computer Sciences and Statistics Building

Time and place
MWF 2:25-3:15pm, 119 Noland.
Office hours: Thursday, 4:30-6:30pm.

CS 838 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: