MSc/PhD-Course Material

1. Manifest Domains: Analysis & Description , 50 page paper, 390 "page" slides.
   To appear in Formal Aspects of Computing, Springer, 2016.
2. From Manifest Domain Descriptions to Requirements Prescriptions , 34 page paper, 380 "page" slides
3. Domain Facets: Analysis & Description , 30 page paper
4. Domains - Their Simulation, Monitoring and Control 15 page paper
5. Domain Analysis and Description - Models of Processes and Prompts , 41 page paper
6. To Every Manifest Domain a CSP Expression. A Rôle for Mereology in Computer Science , Paper