Heriot-Watt Modules

Heriot-Watt Modules

A list of modules that are of relevance to dependable systems research are outlined.

Logic and Program Proving - Introduces the basics of formal logic and its application to program development and program proof.

Module Descriptor
(see also the LUPS project)

Functional Programming - Develop functional programming concepts as an approach to software development and systems prototyping.

Module Descriptor

Formal Specification - Introduces formal techniques for the specification of programs. A lot of the course is based around the specification language Z.

Module Contents

Language and Design - Includes an introduction to formal reasoning for program correctness.

Formal Reasoning Component

Distributed systems programming - Includes an introduction to the formal specification of distributed and concurrent systems using LOTOS.

LOTOS Component

A Local Perspective