A Case Study Approach By Jonathan Bowen, International Thomson Computer Press, 1996. In particular the new book Using Z by Woodcock and Davies is recommended. Introduction to Z. Sets. The Z toolkit. Each occasion is 2 hours.
Participation is obligatory.
A student failing to show up will be required to write a short PM on the material covered. The individual assignment is to present a case study from a chapter of the textbook in class, for about 30 minutes. Don't go into all detail but concentrate on a few examples and general conclusions. The project assignment is to specify the nodes in the Distributed Stock Trade System described here . The X, S, C, B, A, B nodes must all store information.