{"status":"public","date_updated":"2022-01-06T07:03:52Z","type":"report","date_created":"2019-03-03T16:13:03Z","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"year":"1999","user_id":"52534","title":"A Formalisation of SOCCA using Z, part 1: The Type Level Concepts","abstract":[{"text":"This document starts the formalisation of the modelling language of the SOCCA OO method in the formal specification language Z. It captures the `static' aspects of SOCCA, i.e. the meaning of SOCCA language elements at the type level, rather than `dynamic' aspects (dealing with the instance level (objects in execution)). It is restricted to core SOCCA; proposed extensions are not formalised.","lang":"eng"}],"author":[{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"},{"last_name":"Dassen","full_name":"Dassen, Ray","first_name":"Ray"},{"first_name":"Luuk","last_name":"Groenewegen","full_name":"Groenewegen, Luuk"},{"first_name":"Ida","last_name":"G. Sprinkhuizen-Kuyper","full_name":"G. Sprinkhuizen-Kuyper, Ida"},{"first_name":"Pieter","full_name":"Koopman, Pieter","last_name":"Koopman"},{"first_name":"Pieter","full_name":"Jan t'Hoen, Pieter","last_name":"Jan t'Hoen"}],"publisher":"Leiden Institute of Advanced Computer Science","citation":{"mla":"Engels, Gregor, et al. <i>A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts</i>. Leiden Institute of Advanced Computer Science, 1999.","ieee":"G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, and P. Jan t’Hoen, <i>A Formalisation of SOCCA using Z, part 1: The Type Level Concepts</i>. Leiden Institute of Advanced Computer Science, 1999.","chicago":"Engels, Gregor, Ray Dassen, Luuk Groenewegen, Ida G. Sprinkhuizen-Kuyper, Pieter Koopman, and Pieter Jan t’Hoen. <i>A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts</i>. Leiden Institute of Advanced Computer Science, 1999.","ama":"Engels G, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I, Koopman P, Jan t’Hoen P. <i>A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts</i>. Leiden Institute of Advanced Computer Science; 1999.","bibtex":"@book{Engels_Dassen_Groenewegen_G. Sprinkhuizen-Kuyper_Koopman_Jan t’Hoen_1999, title={A Formalisation of SOCCA using Z, part 1: The Type Level Concepts}, publisher={Leiden Institute of Advanced Computer Science}, author={Engels, Gregor and Dassen, Ray and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman, Pieter and Jan t’Hoen, Pieter}, year={1999} }","apa":"Engels, G., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., Koopman, P., &#38; Jan t’Hoen, P. (1999). <i>A Formalisation of SOCCA using Z, part 1: The Type Level Concepts</i>. Leiden Institute of Advanced Computer Science.","short":"G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, P. Jan t’Hoen, A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts, Leiden Institute of Advanced Computer Science, 1999."},"report_number":"1999-03","_id":"8206"}