Wisconsin Logo

CS 838: Analysis of Software Artifacts (Fall 2000)

Home page

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

Somesh Jha,
5393 Computer Sciences and Statistics Building

Time and place
MWF 1:30-2:10, 223 Inghram Hall.

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: