{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:54Z","timestamp":1725663714928},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540525134"},{"type":"electronic","value":"9783540470069"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52513-0_16","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:33:55Z","timestamp":1330205635000},"page":"290-318","source":"Crossref","is-referenced-by-count":38,"title":["Using Z as a specification calculus for object-oriented systems"],"prefix":"10.1007","author":[{"given":"Anthony","family":"Hall","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"16_CR1","unstructured":"I. Hayes, Specification Case Studies, Prentice Hall, 1987. ISBN 0-13-826579-8"},{"issue":"11","key":"16_CR2","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/960112.28738","volume":"21","author":"B. Meyer","year":"1986","unstructured":"B. Meyer, \u201cGenericity versus Inheritance,\u201d SIGPLAN Notices, vol. 21, no. 11, pp. 391\u2013405, November 1986.","journal-title":"SIGPLAN Notices"},{"key":"16_CR3","unstructured":"J. A. Goguen and J. T. Tardo, \u201cAn Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications,\u201d in IEEE Conference on Specification of Reliable Software, pp. 170\u2013188, 1979."},{"key":"16_CR4","unstructured":"S. A. Schuman, D. H. Pitt, and P. J. Byers, \u201cObject-Oriented Process Specification,\u201d University of Surrey Computing Science Technical Report."},{"issue":"1","key":"16_CR5","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/62058.62060","volume":"20","author":"S. Danforth","year":"1988","unstructured":"S. Danforth and C. Tomlinson, \u201cType Theories and Object-Oriented Programming,\u201d ACM Computing Surveys, vol. 20, no. 1, pp. 29\u201372, March 1988.","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"16_CR6","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1145\/75200.75218","volume":"14","author":"R. L. London","year":"1989","unstructured":"R. L. London and K. R. Milsted, \u201cSpecifying Reusable Components Using Z: Realistic Sets and Dictionaries,\u201d ACM SIGSOFT Software Engineering Notes, vol. 14, no. 3, pp. 120\u2013127, May 1989.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"16_CR7","unstructured":"H. B. M. Jonkers, \u201cAn Introduction to COLD-K,\u201d ESPRIT Project 432 METEOR Report t8\/PRLE\/8, July 1988."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"E. F. Codd, \u201cExtending the Database Relational Model to Capture More Meaning,\u201d ACM Transactions on Database Systems, vol. 4, no. 4, December 1979.","DOI":"10.1145\/320107.320109"},{"issue":"11","key":"16_CR9","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1145\/960112.28739","volume":"21","author":"S. N. Khoshafian","year":"1986","unstructured":"S. N. Khoshafian and G. P. Copeland, \u201cObject Identity,\u201d SIGPLAN Notices, vol. 21, no. 11, pp. 406\u2013416, November 1986.","journal-title":"SIGPLAN Notices"},{"key":"16_CR10","unstructured":"J. M. Spivey, The Z Notation: A Reference Manual, Prentice Hall, 1989. ISBN 0-13-983768-X"},{"key":"16_CR11","unstructured":"B. J. Cox, Object Oriented Programming: An Evolutionary Approach, Addison Wesley, 1987."}],"container-title":["Lecture Notes in Computer Science","VDM '90 VDM and Z \u2014 Formal Methods in Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52513-0_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:08:08Z","timestamp":1619572088000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52513-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540525134","9783540470069"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-52513-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}