Introduction to techniques for specifying the behaviour of software, with applications to design, verification and construction. Includes logic‑based techniques (loop and class invariants), automata and grammar‑based techniques (scanners, parsers, UI dialogs, embedded systems) and computability issues.
Introduction to techniques for specifying the behaviour of software, with applications to design, verification and construction. Includes logic‑based techniques (loop and class invariants), automata and grammar‑based techniques (scanners, parsers, UI dialogs, embedded systems) and computability issues.