{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:03:40Z","timestamp":1725710620704},"publisher-location":"London","reference-count":20,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198185"},{"type":"electronic","value":"9781447135562"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3556-2_14","type":"book-chapter","created":{"date-parts":[[2012,12,28]],"date-time":"2012-12-28T06:45:29Z","timestamp":1356677129000},"page":"196-202","source":"Crossref","is-referenced-by-count":1,"title":["Using Z in Communications Engineering ( Invited Talk )"],"prefix":"10.1007","author":[{"given":"Elspeth","family":"Cusack","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Ed Brinksma, A theory for the derivation of tests,in S Aggarwal, K Sabnani (Eds), Protocol Specification, Testing and Verification VIII,North Holland, 1989"},{"key":"14_CR2","unstructured":"D Carrington, D Duke, R Duke, P King, G Rose and G Smith,Object-Z: An object oriented extension to Z in S Vuong (Ed) Formal Description Techniques 1989North Holland, 1990"},{"key":"14_CR3","unstructured":"Elspeth Cusack, Steve Rudkin and Chris Smith,An object oriented interpretation of LOTOSin S Vuong (Ed) Formal Description Techniques 1989North Holland, 1990"},{"key":"14_CR4","unstructured":"Elspeth Cusack, Inheritance in object oriented Z,in P America (Ed), Proc. European Conference on Object Oriented Programming, 1991, Lecture Notes in Computer Science 512, Springer, 1991"},{"key":"14_CR5","unstructured":"Elspeth Cusack Object oriented modelling in Z in J de Meer (Ed) International Workshop on ODP October 1991 North Holland, 1992"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Elspeth Cusack and G H B Rafsanjani, ZEST, in S S Stepney, R Barden and D Cooper (Eds), Object Orientation in Z, Workshops in Computing, Springer 1992","DOI":"10.1007\/978-1-4471-3552-4"},{"key":"14_CR7","unstructured":"Elspeth Cusack and Clazien Wezeman Deriving tests for objects specified in Zthese Proceedings"},{"key":"14_CR8","unstructured":"Tony Jeffree,GDMO: Tools for defining OSI managed objects in Advanced Networking WeekBlenheim Online, 1992"},{"key":"14_CR9","unstructured":"G H B Rafsanjani and Steve Colwill, From Object-Z to C++ \u2014 a structural mappingthese Proceedings"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Steve Rudkin Inheritance in LOTOSin K R Parker and G A Rose (Eds) Formal Description Techniques 1991North Holland, 1992","DOI":"10.1016\/B978-0-444-89402-1.50037-0"},{"key":"14_CR11","volume-title":"J de Meer (Ed) International Workshop on ODP, October 1991, North Holland","author":"R Steve","year":"1992","unstructured":"Steve Rudkin, Modelling information objects in Z, in J de Meer (Ed) International Workshop on ODP, October 1991, North Holland, 1992"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Linda Simon and Lynn S Marshall,Using VDM to specify OSI managed objectsin K R Parker and G A Rose (Eds) Formal Description Techniques 1991 North Holland 1992","DOI":"10.1016\/B978-0-444-89402-1.50011-4"},{"key":"14_CR13","volume-title":"Macmillan","author":"KJ Turner","year":"1992","unstructured":"K J Turner, Using Formal Description Techniques, Macmillan 1992"},{"key":"14_CR14","volume-title":"North Holland","author":"D Clazien","year":"1990","unstructured":"Clazien D Wezeman, The CO-OP method for compositional derivation of canonical testers, in E Brinksma, G Scollo, C A Vissers (Eds), Protocol Specification, Testing and Verification, IX, North Holland, 1990"},{"key":"14_CR15","unstructured":"ISO IS 8807,LOTOS - a formal description technique based on the temporal ordering of observational behaviour 1989"},{"key":"14_CR16","unstructured":"CCITT Com X-R 17-E, Rec Z.100 Functional Specification and Description Language (SDL) 1992"},{"key":"14_CR17","unstructured":"CCITT Rec X.720 - X.722 \u2014 ISO\/IEC IS 10165 (Parts 1-4) Management Information Services - Structure of Management Information 1992"},{"key":"14_CR18","unstructured":"CCITT Rec X.902 \u2014 ISO\/IEC CD 10746\u20132.1Basic Reference Model of Open Distributed Processing - Part 2: Descriptive Model 1992"},{"key":"14_CR19","unstructured":"CCITT Rec X.905 \u2014 ISO\/IEC SC21 WG7 N752 Basic Reference Model of Open Distributed Processing - Part 5: Architectural Semantics,November 1992"},{"key":"14_CR20","unstructured":"ISO\/IEC SC21 WG7 N743 Working Document of the ODP Trader,November 1992"}],"container-title":["Workshops in Computing","Z User Workshop, London 1992"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3556-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,7]],"date-time":"2019-07-07T13:26:33Z","timestamp":1562505993000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3556-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198185","9781447135562"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3556-2_14","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}