1 “... distilled from six courses and two seminars on topics such as modelling and verification in event-B...”

2

3

4 Table of Contents: “...1. Specification and Design -- 1.1 An Analogy -- 1.2 The Development Life-Cycle -- 1.3...”

5 Table of Contents: “... -- Part II: Curating Art: A Paradigm Shift from Digital to Computational Culture -- Part III: Art...”

6 Table of Contents: “... EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a...”

7 Table of Contents: “...1 It’s Greek to Me: Method in the Madness? -- 2 The French Population Census for 1990 -- 3...”

8 Table of Contents: “... and Two Tables -- Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z -- Reuse...”

9 Table of Contents: “... -- Part II: Hybrid Systems -- Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid...”

10 Table of Contents: “... specification of a Network Management System -- A two-dimensional view of integrated formal and informal...”

11 “... is reiterating, 2 albeitmoreradically,his1987view thatmorethanonetoolandnotationwillbe requiredinthepractical...”

12 “... an overview of Jifeng’s research contributions, especially inthe area of formal methods, and the following two...”

13 “... the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two...”