Notes

Here, notes used in the course will appear.

• Changes to RSL.

• The RAISE Specification Language book - Comments and Typos

• Lecture Notes on the RAISE Development Method.