CS254r: Programming Methodologies;
Catalog Number: 2767
Half course (spring term). W., 4-6. EXAM GROUP: 9
The Official Definition
Investigates program analysis, verification, and refinement;
programming paradigms including those for parallel and
distributed programming; program development and maintenance
environments. This year the course will study internet
computing: schemes for turning the internet into a computing
resource.
Prerequisite Notes
-
There is NO official prerequisite: CS152 was listed
as a prerequisite by mistake (it was a prerequisite for last year's
version of cs254r).
-
However, 10-15% of the course will be on `Nancy Lynch
style' theory and will be hard to understand if you
cannot muster fluency with NDFA reasoning, which a
course like CS121 should give you. If can muster no
such fluency, you may choose to take this course anyway,
and suffer a modest grade hit.
Course Information