Course

Workshop on Reasoning about Programs - SENG2011

Faculty: Faculty of Engineering

School: School of Computer Science and Engineering

Course Outline: http://www.cse.unsw.edu.au/~se2011

Campus: Sydney

Career: Undergraduate

Units of Credit: 6

EFTSL: 0.12500 (more info)

Indicative Contact Hours per Week: 3.5

Enrolment Requirements:

Prerequisite: COMP2111.

Excluded: SENG2010

CSS Contribution Charge: 2 (more info)

Tuition Fee: See Tuition Fee Schedule

Further Information: See Class Timetable

View course information for previous years.

Description

This is a workshop course aimed at developing the skills of writing precise specifications of programs and translating these specifications into correct implementations. The course applies the rigorous modelling and verification techniques introduced in COMP2111 to a diverse and increasingly complex set of problems. Further methods for reasoning about programs are introduced, including methods for reasoning about termination, program refinement and data refinement. The primary learning outcome is to develop students' abilities to apply these ideas to structure their thinking about programs, but the course may use a formal verification tool to support learning.


UNSW Computing

Study Levels

UNSW Quick Links