Lecture Slides | Links | Projects | turing

Harvey Mudd College Fall 2000

Computer Science 121: Software Development

What this course is about

This course deals with the processes involved in software development, from requirements specification and analysis, on through design, implementation, and verification. We discuss ways to organize and manage work processes as well as technical design models. A major portion of the course activity is the development of real software products in teams of about four students each.

Instructor

Bob Keller, 1242 Olin (office hours 3-4 MW, 4-5 p.m. Tu, or whenever), keller@cs.hmc.edu, x 18483

Grader

James Brooks, jbrooks@orion.ac.hmc.edu

Catalog Description

Rigorous introduction to the technological and managerial discipline concerned with the design and implementation of large software systems. Techniques for software specification, design, verification, and validation. Formal methods for proving the correctness of programs. Students working in teams are required to design, implement, and present a substantial software project.

Prerequisites: Computer Science 70 and 80.

Requirements and Grading

Homework and quizzes(40%), participation (20%), team software development project (40%)

Participation will include making a presentation on a current software development topic. Failure to show up for class means that your participation component takes a major hit, enough to bring you down a letter grade.

Outline

Textbook

At present, I haven't found a textbook that I consider ideal, so there is no required textbook. I plan to assign some readings on the web. If you want to get some reasonable texts, I suggest the following. Copies will also be on reserve in Sprague Library.