{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:03:33Z","timestamp":1725710613547},"publisher-location":"London","reference-count":16,"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_13","type":"book-chapter","created":{"date-parts":[[2012,12,28]],"date-time":"2012-12-28T06:45:29Z","timestamp":1356677129000},"page":"180-195","source":"Crossref","is-referenced-by-count":6,"title":["Deriving Tests for Objects Specified in Z"],"prefix":"10.1007","author":[{"given":"Elspeth","family":"Cusack","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clazien","family":"Wezeman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"G Bochmann, B Sarikaya (Eds) Protocol Specification, Testing and Verification VI, North Holland","author":"Ed Brinksma","year":"1987","unstructured":"Ed Brinksma, Giuseppe Scollo and Chris Steenbergen, LOTOS specifications, their implementations and their tests, in G Bochmann, B Sarikaya (Eds) Protocol Specification, Testing and Verification VI, North Holland, 1987"},{"key":"13_CR2","unstructured":"Ed Brinksma, A theory for the derivation of tests,S Aggarwal, K Sabnani (Eds) Protocol Specification, Testing and Verification VIII,North Holland, 1989"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Ed Brinksma and Tommaso Bolognesi, Introduction to the ISO specification language LOTOS,Computer Networks and ISDN Systems, Vol 14 Number 1, 1987","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"13_CR4","volume-title":"North Holland","author":"D Carrington","year":"1990","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, 1989, North Holland, 1990"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Elspeth Cusack, Refinement, conformance and inheritance,Formal Aspects of Computing Vol 3 No 2, April \u2014 June 1991","DOI":"10.1007\/BF01898400"},{"key":"13_CR6","volume-title":"North Holland","author":"E Cusack","year":"1990","unstructured":"E Cusack, S Rudkin and C Smith, An object oriented interpretation of LOTOS, in S Vuong (Ed), Formal Description Techniques, 1989, North Holland, 1990"},{"key":"13_CR7","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-Verlag, 1991"},{"key":"13_CR8","unstructured":"Elspeth Cusack, Object oriented modelling in Z,in J de Meer (Ed) International Workshop on ODP, October 1991,North Holland, 1992"},{"key":"13_CR9","volume-title":"ZEST, in S Stepney, R Barden and D Cooper","author":"E Cusack","year":"1992","unstructured":"Elspeth Cusack and G H B Rafsanjani, ZEST, in S Stepney, R Barden and D Cooper (Eds), Object Orientation in Z, Workshops in Computing, Springer-Verlag, 1992"},{"key":"13_CR10","unstructured":"H-D Ehrich and A Sernadas, Fundamental Object Concepts and Constructions,in Technische Universit\u00e4t Braunschweig Report 91\u201303 (Workshop IS-CORE 91, London)"},{"key":"13_CR11","unstructured":"Steve Rudkin, Modelling information objects in Z,in J de Meer (Ed) International Workshop on ODP, October 1991,North Holland, 1992"},{"key":"13_CR12","volume-title":"BCS\/Springer-Verlag","author":"SA Schumann","year":"1990","unstructured":"S A Schumann, D H Pitt and P J Byers, Object oriented process specification, in C Rattray (Ed), Specification and Verification of Concurrent Systems, BCS\/Springer-Verlag, 1990"},{"key":"13_CR13","unstructured":"J M Spivey, The Z Notation: A Reference Manual,Prentice Hall International Series in Computer Science, 1989"},{"key":"13_CR14","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":"13_CR15","unstructured":"ISO IS 8807, LOTOS - a formal description technique based on the temporal ordering of observational behaviour,1989"},{"key":"13_CR16","unstructured":"ISO\/IEC DIS 10165 (Parts 1\u20134) Management Information Services - Structure of Management Information,June 1990"}],"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_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,7]],"date-time":"2019-07-07T13:26:19Z","timestamp":1562505979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3556-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198185","9781447135562"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3556-2_13","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}