CS254r: Programming Methodologies

Professor Thomas E. Cheatham Jr.

Friday 2:30-4:30

Aiken 241

The Official Statement

Investigation of issues relating to various programming methodologies including techniques for structured programming, programming by refinement, and program analysis and verification. Discussion of program development and maintenance environments. Particular emphasis given to programming for highly parallel architectures.

Table of Contents


General Information:

Announcements:

Class summaries: