Software Specifications

CISC-223

LEARNING HOURS: 120 (36L;84P)

Introduction to techniques for specifying the behaviour of software, with applications of these techniques to design, verification and construction of software. Logic-based techniques such as loop invariants and class invariants. Automata and grammar-based techniques, with applications to scanners, parsers, user-interface dialogs and embedded systems. Computability issues in software specifications.

PREREQUISITE: CISC 124/3.0.

COREQUISITE: CISC 204/3.0.