Overheads

Overheads from the lectures will be added at the links below as the course proceeds.

Overheads set OH0: course introduction. Available as postscript, pdf.

Overheads set OH1: introduction to RAISE. Available as postscript, pdf.

Overheads set OH2: logic. Available as postscript, pdf.

Overheads set OH3: products + bindings and typings. Available as postscript, pdf.

Overheads set OH4: value definitions + functions. Available as postscript, pdf.

Overheads set OH5: sets. Available as postscript, pdf.

Overheads set OH6: lists. Available as postscript, pdf.

Overheads set OH7: maps. Available as postscript, pdf.

Overheads set OH8: subtypes. Available as postscript, pdf.

Overheads set OH9: data modelling & model-oriented specification. Available as postscript, pdf.

Overheads set OH10: algebraic specification and variant type definitions. Available as postscript, pdf.

Overheads set OH11: short records, unions. Available as postscript, pdf.

Overheads set OH12: overloading, underspecification vs. nondeterminism; case and let expressions. Available as postscript, pdf .

Overheads set OH13: imperative (state-based) specification. Available as postscript, pdf.

Overheads set OH14: structuring mechanisms and modular specifications. Available as postscript, pdf.

Overheads set OH15: method - stepwise refinement and verification. Available as postscript, pdf.

Overheads set OH16: Specification of language based systems. Available as postscript, pdf.

Overheads set OH17: A railway formal methods project. Available as postscript.

Peter Gorm Larsens overheads Available as pdf.