{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:37:26Z","timestamp":1725493046483},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411963"},{"type":"electronic","value":"9783540409113"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40911-4_15","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T09:23:29Z","timestamp":1192785809000},"page":"255-276","source":"Crossref","is-referenced-by-count":6,"title":["\u03bc-Charts and Z: Hows, Whys, and Wherefores"],"prefix":"10.1007","author":[{"given":"Greg","family":"Reeve","sequence":"first","affiliation":[]},{"given":"Steve","family":"Reeves","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"J. Derrick, E. Boiten, H. Bowman, and M. Steen. Weak refinement in Z. In J.P. Bowen, M.G. Hinchey, and D. Till, editors, ZUM\u201997: The Z Formal Specification Notation, pages 369\u2013388. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0027298"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computing, pages 231\u2013274, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"M. C. Henson and S. Reeves. Program development and specification refinement in the schema calculus. To appear in the proceedings of ZB2000.","DOI":"10.1007\/3-540-44525-0_20"},{"issue":"4","key":"15_CR4","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: I-logic and semantics. Formal Aspects of Computing Journal, 11(4):359\u2013380, 1999.","journal-title":"Formal Aspects of Computing Journal"},{"issue":"4","key":"15_CR5","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: II-logical development. Formal Aspects of Computing Journal, 11(4):381\u2013401, 1999.","journal-title":"Formal Aspects of Computing Journal"},{"issue":"1","key":"15_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/logcom\/10.1.43","volume":"10","author":"M. C. Henson","year":"2000","unstructured":"M. C. Henson and S. Reeves. Investigating Z. Journal of Logic and Computation, 10(1):1\u201330, 2000.","journal-title":"Journal of Logic and Computation"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"J. Jacky. The Way of Z: Practical programming with formal methods. Cambridge University Press, 1997.","DOI":"10.1017\/CBO9780511574924"},{"key":"15_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/BFb0030631","volume-title":"TAPSOFT\u2019 97: Theory and Practice of Software Development","author":"J. Philipps","year":"1997","unstructured":"J. Philipps and P. Scholz. Compositional specification of embedded systems with statecharts. In M. Bidoit and M. Dauchet, editors, TAPSOFT\u2019 97: Theory and Practice of Software Development, number 1214 in LNCS, pages 637\u2013651. Springer-Verlag, 1997."},{"key":"15_CR9","unstructured":"A. Pnueli. Deduction is Forever. Unpublished, invited talk at Formal Methods\u2019 99, Toulouse, September 1999."},{"key":"15_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/BFb0027284","volume-title":"The Z\/EVES system","author":"M. Saaltink","year":"1997","unstructured":"M. Saaltink. The Z\/EVES system. In J. Bowen, M. Hinchey, and D. Till, editors, Proc. 10th Int. Conf. on the Z Formal Method (ZUM), volume 1212 of Lecture Notes in Computer Science, pages 72\u201388. Springer-Verlag, Berlin, April 1997."},{"key":"15_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/BFb0053597","volume-title":"A refinement calculus for statecharts","author":"P. Scholz","year":"1998","unstructured":"P. Scholz. A refinement calculus for statecharts. In E. Estesiano, editor, Fundamental approaches to software engineering: First International Conference, FASE\u201998, volume 1382 of Lecture Notes in Computer Science, pages 285\u2013301. Springer-Verlag, Berlin, 1998."},{"key":"15_CR12","unstructured":"P. Scholz. Design of Reactive Systems and their Distributed Implementation with Statecharts. PhD thesis, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, August 1998. TUM-I9821."},{"key":"15_CR13","unstructured":"Peter Scholz. An extended version of mini-statecharts. Technical Report TUM-I9628, Technische Univerit\u00e4t M\u00fcnchen, 1996."},{"key":"15_CR14","unstructured":"F.G. Shi, J.A. McDermid, and J.M. Armstrong. An introduction to ZedCharts and its applications. Technical Report YCS-96-272, Department of Computer Science, University of York, 1996."},{"key":"15_CR15","unstructured":"J. M. Spivey. The Z notation: A reference manual. Prentice Hall, 2nd. edition, 1992."},{"key":"15_CR16","unstructured":"I. Toyn, editor. Z Notation: Final committee draft, CD 13568.2. Z Standards Panel, 1999. ftp:\/\/ftp.york.ac.uk\/hise reports\/cadiz\/ZSTAN\/fcd.ps.gz ."},{"key":"15_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/3-540-60973-3_94","volume-title":"FME\u2019 96","author":"M. Weber","year":"1996","unstructured":"M. Weber. Combining statecharts and Z for the design of safety-critical control systems. In M.-C. Gaudel and J. Woodcock, editors, FME\u2019 96, volume 1051 of Lecture Notes in Computer Science, pages 307\u2013326, 1996."},{"key":"15_CR18","unstructured":"J. Woodcock and J. Davies. Using Z: Specification, Refinement and Proof. Prentice Hall, 1996."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40911-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T08:00:24Z","timestamp":1587974424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40911-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411963","9783540409113"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-40911-4_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}