{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:38Z","timestamp":1725664898942},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602712"},{"type":"electronic","value":"9783540447825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60271-2_136","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:04:59Z","timestamp":1330261499000},"page":"449-468","source":"Crossref","is-referenced-by-count":6,"title":["Viewpoints and objects"],"prefix":"10.1007","author":[{"given":"John","family":"Derrick","sequence":"first","affiliation":[]},{"given":"Howard","family":"Bowman","sequence":"additional","affiliation":[]},{"given":"Maarten","family":"Steen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"1","key":"28_CR1","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0950-5849(94)90007-8","volume":"36","author":"M Ainsworth","year":"1994","unstructured":"M Ainsworth, AH Cruickshank, LJ Groves, and PJL Wallis. Viewpoint specification and Z. Information and Software Technology, 36(1):43\u201351, February 1994.","journal-title":"Information and Software Technology"},{"key":"28_CR2","volume-title":"Proc. 6th Refinement Workshop","author":"M Ainsworth","year":"1994","unstructured":"M Ainsworth and PJL Wallis. Co-refinement. In D Till, editor, Proc. 6th Refinement Workshop, City University, London, 5th\u20137th January 1994. Springer-Verlag."},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"A. J. Alencar and J. A. Goguen. OOZE: An object oriented Z environment. In P. America, editor, ECOOP '91 \u2014 Object-Oriented Programming, LNCS 512, pages 180\u2013199. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0057022"},{"key":"28_CR4","first-page":"40","volume-title":"Sixth Annual Z User Workshop","author":"R. D. Arthan","year":"1991","unstructured":"R. D. Arthan. On free type definitions in Z. In J. E. Nicholls, editor, Sixth Annual Z User Workshop, pages 40\u201358, York, December 1991. Springer-Verlag."},{"key":"28_CR5","unstructured":"G. Cowen, J. Derrick, M. Gill, G. Girling (editor), A. Herbert, P. F. Linington, D. Rayner, F. Schulz, and R. Soley. Prost Report of the Study on Testing for Open Distributed Processing. APM Ltd, 1993."},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"E. Cusack. Inheritance in object oriented Z. In P. America, editor, ECOOP '91 \u2014 Object-Oriented Programming, LNCS 512, pages 167\u2013179. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0057021"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"E. Cusack and G. H. B. Rafsanjani. ZEST. In S. Stepney, R. Barden, and D. Cooper, editors, Object Orientation in Z, Workshops in Computing, pages 113\u2013126. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4471-3552-4_10"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"J. Derrick, H. Bowman, and M. Steen. Maintaining cross viewpoint consistency using Z. In IFIP International Conference on Open Distributed Processing. Chapman Hall, 1995.","DOI":"10.1007\/978-0-387-34882-7_32"},{"key":"28_CR9","unstructured":"R. Duke, P. King, G. A. Rose, and G. Smith. The Object-Z specification language version 1. Technical Report 91-1, Software Verification Research Centre, Department of Computer Science, University of Queensland, May 1991."},{"key":"28_CR10","series-title":"LNCS 428","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/3-540-52513-0_16","volume-title":"VDM '90 VDM and Z \u2014 Formal Methods in Software Development","author":"A. J. Hall","year":"1990","unstructured":"A. J. Hall. Using Z as a specification calculus for object-oriented systems. In D. Bjorner, C.A.R. Hoare, and H. Langmaack, editors, VDM '90 VDM and Z \u2014 Formal Methods in Software Development, LNCS 428, pages 290\u2013318, Kiel, FRG, April 1990. Springer-Verlag."},{"key":"28_CR11","first-page":"120","volume-title":"Eighth Annual Z User Workshop","author":"J. Hall","year":"1994","unstructured":"J. Hall. Specifying and interpreting class hierarchies in Z. In J. Bowen and J. Hall, editors, Eighth Annual Z User Workshop, pages 120\u2013138, Cambridge, July 1994. Springer-Verlag."},{"key":"28_CR12","unstructured":"ITU Recommendation X.901-904 \u2014 ISO\/IEC 10746 1\u20134. Open Distributed Processing \u2014 Reference Model \u2014 Parts 1\u20134, July 1995."},{"key":"28_CR13","unstructured":"ITU\/ISO CD ISO 13235\/ITU.TS Rec.9tr. ODP Trading Function, 1994."},{"key":"28_CR14","first-page":"62","volume-title":"Seventh Annual Z User Workshop","author":"K. Lano","year":"1992","unstructured":"K. Lano and H. Haughton. Reuse and adaption of Z specifications. In J. P. Bowen and J. E. Nicholls, editors, Seventh Annual Z User Workshop, pages 62\u201390, London, December 1992. Springer-Verlag."},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"B. Liskov and J. M. Wing. A new definition of the subtype relation. In O. M. Nierstrasz, editor, ECOOP '93 \u2014 Object-Oriented Programming, LNCS 707, pages 118\u2013141. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-47910-4_8"},{"key":"28_CR16","first-page":"29","volume-title":"Eighth Annual Z User Workshop","author":"P. Mataga","year":"1994","unstructured":"P. Mataga and P. Zave. Formal specification of telephone features. In J. Bowen and J. Hall, editors, Eighth Annual Z User Workshop, pages 29\u201350, Cambridge, July 1994. Springer-Verlag."},{"key":"28_CR17","first-page":"173","volume-title":"Fifth Annual Z User Workshop","author":"S. L. Meira","year":"1990","unstructured":"S. L. Meira and A. L. C. Cavalcanti. Modular object oriented Z specifications. In J. E. Nicholls, editor, Fifth Annual Z User Workshop, pages 173\u2013192, Oxford, December 1990. Springer-Verlag."},{"key":"28_CR18","unstructured":"B. Potter, J. Sinclair, and D. Till. An introduction to formal specification and Z. Prentice Hall, 1991."},{"key":"28_CR19","unstructured":"G. H. B. Rafsanjani. ZEST \u2014 Z Extended with Structuring: A users's guide. Technical report, BT, June 1994."},{"key":"28_CR20","unstructured":"B. Ratcliff. Introducing specification using Z. McGraw-Hill, 1994."},{"key":"28_CR21","first-page":"267","volume-title":"Modelling information objects in Z","author":"S. Rudkin","year":"1991","unstructured":"S. Rudkin. Modelling information objects in Z. In J. de Meer, V. Heymer, and R. Roth, editors, IFIP TC6 International Workshop on Open Distributed Processing, pages 267\u2013280, Berlin, Germany, September 1991. North-Holland."},{"key":"28_CR22","first-page":"223","volume-title":"Sixth Annual Z User Workshop","author":"M. Saaltink","year":"1991","unstructured":"M. Saaltink. Z and Eves. In J. E. Nicholls, editor, Sixth Annual Z User Workshop, pages 223\u2013243, York, December 1991. Springer-Verlag."},{"key":"28_CR23","doi-asserted-by":"crossref","unstructured":"S. A. Schuman, D. H. Pitt, and P. J. Byers. Object-oriented process specification. In C. Rattray, editor, Specification and Verification of Concurrent Systems, Workshops in Computing, pages 21\u201370. Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4471-3534-0_2"},{"key":"28_CR24","unstructured":"R. Sinnott. An Initial Architectural Semantics in Z of the Information Viewpoint Language of Part 3 of the ODP-RM. ISO\/IEC SC21\/WG7 N915, July 1994. BSI Input document to the ODP Plenary meeting in Southampton."},{"key":"28_CR25","first-page":"3","volume-title":"Sixth Annual Z User Workshop","author":"A. Smith","year":"1991","unstructured":"A. Smith. On recursive free types in Z. In J. E. Nicholls, editor, Sixth Annual Z User Workshop, pages 3\u201339, York, December 1991. Springer-Verlag."},{"key":"28_CR26","first-page":"89","volume-title":"Eighth Annual Z User Workshop","author":"G. Smith","year":"1994","unstructured":"G. Smith. An object-oriented development framework for Z. In J. Bowen and J. Hall, editors, Eighth Annual Z User Workshop, pages 89\u2013107, Cambridge, July 1994. Springer-Verlag."},{"key":"28_CR27","doi-asserted-by":"crossref","unstructured":"S. Stepney, R. Barden, and D. Cooper, editors. Object Orientation in Z. Workshops in Computing. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4471-3552-4"},{"key":"28_CR28","first-page":"108","volume-title":"Eighth Annual Z User Workshop","author":"C. Wezeman","year":"1994","unstructured":"C. Wezeman and A. J. Judge. Z for managed objects. In J. Bowen and J. Hall, editors, Eighth Annual Z User Workshop, pages 108\u2013119, Cambridge, July 1994. Springer-Verlag."},{"key":"28_CR29","first-page":"193","volume-title":"Fifth Annual Z User Workshop","author":"P. J. Whysall","year":"1990","unstructured":"P. J. Whysall and J. A. McDermid. An approach to object oriented specification using Z. In J. E. Nicholls, editor, Fifth Annual Z User Workshop, pages 193\u2013215, Oxford, December 1990. Springer-Verlag."},{"key":"28_CR30","first-page":"205","volume-title":"Sixth Annual Z User Workshop","author":"P. Zave","year":"1991","unstructured":"P. Zave and M. Jackson. Techniques for partial specification and specification of switching systems. In J. E. Nicholls, editor, Sixth Annual Z User Workshop, pages 205\u2013219, York, December 1991. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","ZUM '95: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60271-2_136.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:35:32Z","timestamp":1619559332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60271-2_136"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602712","9783540447825"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-60271-2_136","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}