CSE 451 : Program Development
Credits: 4
Semester:
Prerequisites: CSE 305
Corequisites: None
Type: LEC/REC
A course in theoretical software engineering, covering the practical development of correct programs based on a mathematical notion of program correctness. Topics include: propositional and first-order logic; the specification of programs using Hoare triple and Dijkstra's weakest preconditions; the definition of a small imperative language; assignment, sequencing, a conditional statement, and a loop; and programming as a goal-oriented developmental activity, based on the formal definition of a small language. Offered irregularly.
Class Schedule: Fall 2009
CSE 451 not offered in this semester, or the department has chosen not to publish it in the on-line class schedule.
Class Schedule: Spring 2010
CSE 451 not offered in this semester, or the department has chosen not to publish it in the on-line class schedule.
Last Updated: Nov 24, 2009 9:22:49 AM
