{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:52Z","timestamp":1750306492228,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,9,28]],"date-time":"2015-09-28T00:00:00Z","timestamp":1443398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,9,28]]},"DOI":"10.1145\/2811681.2811702","type":"proceedings-article","created":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T20:49:20Z","timestamp":1446756560000},"page":"106-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Using State Machines for the Visualisation of Specifications via Refinement"],"prefix":"10.1145","author":[{"given":"Colin","family":"Pilbrow","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Waikato, Hamilton, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Reeves","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Waikato, Hamilton, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,9,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/611892.611959"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/37.3.177"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/10.1.43"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581397"},{"key":"e_1_3_2_1_5_1","volume-title":"Programming From Specifications","author":"Morgan C.","year":"1998","unstructured":"C. Morgan . Programming From Specifications ( 2 nd ed.). Prentice Hall International (UK) Ltd ., Hertfordshire, UK, UK, 1998 . C. Morgan. Programming From Specifications (2nd ed.). Prentice Hall International (UK) Ltd., Hertfordshire, UK, UK, 1998.","edition":"2"},{"key":"e_1_3_2_1_6_1","unstructured":"ProB Project. http:\/\/stups.hhu.de\/prob\/.  ProB Project. http:\/\/stups.hhu.de\/prob\/."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEDC.1994.475332"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1989.0006"},{"key":"e_1_3_2_1_9_1","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Understanding Z: A Specification Language and its Formal Semantics","author":"Spivey J. M.","year":"1988","unstructured":"J. M. Spivey . Understanding Z: A Specification Language and its Formal Semantics , volume 3 of Cambridge Tracts in Theoretical Computer Science . Cambridge University Press , 1988 . J. M. Spivey. Understanding Z: A Specification Language and its Formal Semantics, volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/362575.362577"},{"key":"e_1_3_2_1_11_1","volume-title":"Using Z: Specification, Refinement and Proof","author":"Woodcock J.","year":"1996","unstructured":"J. Woodcock and J. Davies . Using Z: Specification, Refinement and Proof . Prentice Hall , 1996 . J. Woodcock and J. Davies. Using Z: Specification, Refinement and Proof. Prentice Hall, 1996."}],"event":{"name":"ASWEC ' 15 Vol. II: ASWEC 2015 24th Australasian Software Engineering Conference","sponsor":["Australian Comp Soc Australian Computer Society"],"location":"Adelaide SA Australia","acronym":"ASWEC ' 15 Vol. II"},"container-title":["Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2811681.2811702","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2811681.2811702","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:39Z","timestamp":1750225719000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2811681.2811702"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,28]]},"references-count":11,"alternative-id":["10.1145\/2811681.2811702","10.1145\/2811681"],"URL":"https:\/\/doi.org\/10.1145\/2811681.2811702","relation":{},"subject":[],"published":{"date-parts":[[2015,9,28]]},"assertion":[{"value":"2015-09-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}