{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:14:13Z","timestamp":1725484453001},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000297"},{"type":"electronic","value":"9783540361039"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36103-0_34","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T23:15:07Z","timestamp":1179270907000},"page":"323-334","source":"Crossref","is-referenced-by-count":4,"title":["\u03bc-Chart-Based Specification and Refinement"],"prefix":"10.1007","author":[{"given":"Doug","family":"Goldson","sequence":"first","affiliation":[]},{"given":"Greg","family":"Reeve","sequence":"additional","affiliation":[]},{"given":"Steve","family":"Reeves","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"D. Goldson, G. Reeve, S. Reeves \u03bc-Chart-based specification and refinement, SVRC Technical Report 02-21. 2002. (To appear)","DOI":"10.1007\/3-540-36103-0_34"},{"key":"34_CR2","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A Visual Formalism for Complex Systems, in Science of Computer Programming. 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"34_CR4","series-title":"Lect Notes Comput Sci","first-page":"256","volume-title":"Proceedings of IFM2000: The Second International Conference on Integrated Formal Methods","author":"G. Reeve","year":"2000","unstructured":"G. Reeve, S. Reeves. \u03bc-Charts and Z: Hows, Whys and Wherefores, in Proceedings of IFM2000: The Second International Conference on Integrated Formal Methods, (eds.) W. Grieskamp, T. Santen, B. Stoddart. pp. 256\u2013276. Springer LNCS 1945, 2000."},{"key":"34_CR5","unstructured":"A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998."},{"key":"34_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/BFb0027284","volume-title":"Proc. 10th Int. Conf. on the Z Formal Method (ZUM)","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":"34_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/3-540-63238-7","volume-title":"TAPSOFT\u2019 97: Theory and Practice of Software Development","author":"P. Scholz","year":"1997","unstructured":"P. Scholz, J. Philips. Compositional Specification of Embedded Systems with Statecharts, in TAPSOFT\u2019 97: Theory and Practice of Software Development (eds.) M. Bidoit, M. Dauchet. pp. 637\u2013651. Springer LNCS 1214, 1997."},{"key":"34_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-63238-7","volume-title":"TACAS\u2019 97: Tools and Algorithms for the Construction and Analysis of Systems","author":"P. Scholz","year":"1997","unstructured":"P. Scholz, J. Philips. Formal Verification of Statecharts with Instantaneous Chain Reactions, in TACAS\u2019 97: Tools and Algorithms for the Construction and Analysis of Systems. (ed.) E. Brinksma, pp. 224\u2013238. Springer LNCS 1217, 1997."},{"key":"34_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/BFb0053597","volume-title":"FASE\u2019 98: Fundamental Approaches to Software Engineering","author":"P. Scholz","year":"1998","unstructured":"P. Scholz. A Refinement Calculus for Statecharts, in FASE\u2019 98: Fundamental Approaches to Software Engineering. (ed.) E. Astesiano. pp. 285\u2013301. Springer LNCS 1382, 1998."},{"key":"34_CR10","unstructured":"P. Scholz. Design of Reactive Systems and their Distributed Implementation with Statecharts. PhD Thesis, Technical University of Munich. TUM-I9821, 1998. http:\/\/www.informatik.tu-muenchen.de\/forschung\/report\/1998\/"},{"key":"34_CR11","unstructured":"J. M. Spivey. The Z notation: A reference manual. Prentice Hall, 1989."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36103-0_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T17:33:16Z","timestamp":1683826396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}