{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:16:54Z","timestamp":1725484614902},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431664"},{"type":"electronic","value":"9783540456483"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45648-1_12","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T05:26:02Z","timestamp":1180329962000},"page":"226-241","source":"Crossref","is-referenced-by-count":4,"title":["Loose Specification and Refinement in Z"],"prefix":"10.1007","author":[{"given":"Eerke","family":"Boiten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. The B-Book: Assigning programs to meanings. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"12_CR2","unstructured":"R. Barden, S. Stepney, and D. Cooper. Z in Practice. Prentice Hall, 1994."},{"key":"12_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1007\/3-540-63533-5_34","volume-title":"FME\u201997: Industrial Application and Strengthened Foundations of FormalMethods","author":"E.A. Boiten","year":"1997","unstructured":"E.A. Boiten, H. Bowman, J. Derrick, and M. Steen. Viewpoint consistency in Z and LOTOS: A case study. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME\u201997: Industrial Application and Strengthened Foundations of FormalMethods, volume 1313 of Lecture Notes in Computer Science, pages 644\u2013664. Springer-Verlag, September 1997."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"E.A. Boiten and J. Derrick. IO-refinement in Z. In A. Evans, D. Duke, and T. Clark, editors, 3rd BCS-FACS Northern FormalMetho ds Workshop. Springer-Verlag, September 1998. http:\/\/www.ewic.org.uk\/ .","DOI":"10.14236\/ewic\/NFM1998.3"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"C. Bolton, J. Davies, and J.C.P. Woodcock. On the refinement and simulation of data types and processes. In K. Araki, A. Galloway, and K. Taguchi, editors, International conference on Integrated FormalMetho ds 1999 (IFM\u201999), pages 273\u2013292, York, July 1999. Springer-Verlag.","DOI":"10.1007\/978-1-4471-0851-1_15"},{"issue":"3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s001650050016","volume":"10","author":"A.L.C. Cavalcanti","year":"1998","unstructured":"A.L.C. Cavalcanti and J.C.P. Woodcock. ZRC \u2014 a Refinement Calculus for Z. FormalAsp ects of Computing, 10(3):267\u2013289, 1998.","journal-title":"FormalAsp ects of Computing"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"J. Derrick and E.A. Boiten. Refinement in Z and Object-Z: Foundations and Advanced Applications. Springer-Verlag, 2001.","DOI":"10.1007\/978-1-4471-0257-1"},{"issue":"4","key":"12_CR8","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/BF01211217","volume":"7","author":"I.J. Hayes","year":"1995","unstructured":"I.J. Hayes and J.W. Sanders. Specification by interface separation. FormalAsp ects of Computing, 7(4):430\u2013439, 1995.","journal-title":"FormalAsp ects of Computing"},{"key":"12_CR9","unstructured":"M.C. Henson and S. Reeves. New foundations for Z. In J. Grundy, M. Schwenke, and T. Vickers, editors, InternationalR efinement Workshop & FormalMetho ds Pacific\u2019 98, Discrete Mathematics and Theoretical Computer Science, pages 165\u2013179, Canberra, September 1998. Springer-Verlag."},{"issue":"4","key":"12_CR10","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/s001650050038","volume":"11","author":"M.C. Henson","year":"1999","unstructured":"M.C. Henson and S. Reeves. Revising Z: Part I-Logic and semantics. Formal Aspects of Computing, 11(4):359\u2013380, 1999.","journal-title":"Formal Aspects of Computing"},{"issue":"4","key":"12_CR11","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/s001650050039","volume":"11","author":"M.C. Henson","year":"1999","unstructured":"M.C. Henson and S. Reeves. Revising Z: Part II-Logical development. Formal Aspects of Computing, 11(4):381\u2013401, 1999.","journal-title":"Formal Aspects of Computing"},{"key":"12_CR12","unstructured":"ISO\/IEC. Formal Specification \u2014 Z Notation \u2014 Syntax, Type and Semantics: 2nd Final Committee Draft. International Standard CD 13568.2, International Standards Organization, 2000."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"G. Smith. The Object-Z Specification Language. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"12_CR14","unstructured":"J. M. Spivey. The Z notation: A reference manual. Prentice Hall, 2nd edition, 1992."},{"key":"12_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BFb0056037","volume-title":"ZUM\u201998: The Z Formal Specification Notation","author":"S.H. Valentine","year":"1998","unstructured":"S.H. Valentine. Inconsistency and undefinedness in Z \u2014 a practical guide. In J. P. Bowen, A. Fett, and M. G. Hinchey, editors, ZUM\u201998: The Z Formal Specification Notation, volume 1493 of Lecture Notes in Computer Science, pages 233\u2013249. Springer-Verlag, September 1998."},{"key":"12_CR16","unstructured":"J.C.P. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice Hall, 1996."}],"container-title":["Lecture Notes in Computer Science","ZB 2002:Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45648-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T12:01:46Z","timestamp":1587556906000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45648-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431664","9783540456483"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45648-1_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}