{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:03:00Z","timestamp":1725854580909},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319335995"},{"type":"electronic","value":"9783319336008"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-33600-8_22","type":"book-chapter","created":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T08:15:15Z","timestamp":1462868115000},"page":"282-289","source":"Crossref","is-referenced-by-count":1,"title":["Semi-Automated Design Space Exploration for Formal Modelling"],"prefix":"10.1007","author":[{"given":"Gudmund","family":"Grov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Ireland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Teresa","family":"Llano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Kovacs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Colton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Gow","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,11]]},"reference":[{"key":"22_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B - System and Software Engineering","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"issue":"1","key":"22_CR2","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s00165-007-0061-4","volume":"20","author":"M Butler","year":"2008","unstructured":"Butler, M., Yadav, D.: An incremental development of the mondex system in Event-B. Formal Aspects Comput. 20(1), 61\u201377 (2008)","journal-title":"Formal Aspects Comput."},{"key":"22_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0147-5","volume-title":"Automated Theory Formation in Pure Mathematics","author":"S Colton","year":"2002","unstructured":"Colton, S.: Automated Theory Formation in Pure Mathematics. Springer, Heidelberg (2002)"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-30885-7_15","volume-title":"Abstract State Machines, Alloy, B, VDM, and Z","author":"G Grov","year":"2012","unstructured":"Grov, G., Ireland, A., Llano, M.T.: Refinement plans for informed formal design. In: Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., Riccobene, E. (eds.) ABZ 2012. LNCS, vol. 7316, pp. 208\u2013222. Springer, Heidelberg (2012)"},{"unstructured":"Grov, G., Ireland, A., Llano, M.T., Kovacs, P., Colton, S., Gow, J.: Semi-Automated Design Space Exploration for Formal Modelling. \n                      arXiv:1603.00636","key":"22_CR5"},{"issue":"3","key":"22_CR6","first-page":"293","volume":"78","author":"A Ireland","year":"2013","unstructured":"Ireland, A., Grov, G., Llano, M., Butler, M.: Reasoned modelling critics: turning failed proofs into modelling guidance. SCP 78(3), 293\u2013309 (2013)","journal-title":"SCP"},{"unstructured":"Kovacs, P.: Automating abstractions in formal modelling, Heriot-Watt University, Undergraduate Honors Thesis (2015). \n                      http:\/\/bit.ly\/1JnL0Ts","key":"22_CR7"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: A model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"issue":"2","key":"22_CR9","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s00165-012-0264-1","volume":"26","author":"MT Llano","year":"2012","unstructured":"Llano, M.T., Ireland, A., Pease, A.: Discovery of invariants through automated theory formation. Formal Aspects Comput. 26(2), 203\u2013249 (2012)","journal-title":"Formal Aspects Comput."}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, TLA, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33600-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T03:20:58Z","timestamp":1559445658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33600-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319335995","9783319336008"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33600-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}