{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,25]],"date-time":"2026-08-25T20:26:31Z","timestamp":1787689591530,"version":"build-2784847793"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1109\/cog47356.2020.9231750","type":"proceedings-article","created":{"date-parts":[[2020,10,21]],"date-time":"2020-10-21T18:05:50Z","timestamp":1603303550000},"page":"487-494","source":"Crossref","is-referenced-by-count":7,"title":["Software Engineering For Automated Game Design"],"prefix":"10.1109","author":[{"given":"Michael","family":"Cook","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2692915.2628161"},{"key":"ref12","article-title":"Rustbelt: Securing the foundations of the rust programming language","author":"jung","year":"2017","journal-title":"Proc ACM Program Lang"},{"key":"ref13","article-title":"Abstraction, refinement and concurrent reasoning","author":"raad","year":"2017","journal-title":"Ph D Dissertation"},{"key":"ref14","article-title":"Under review","year":"0"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37192-9_29"},{"key":"ref16","author":"nystrom","year":"2014","journal-title":"Game Programming Patterns"},{"key":"ref17","first-page":"26","article-title":"A cookbook for using the model-view-controller user interface paradigm in smalltalk-80","author":"krasner","year":"1988","journal-title":"Journal of Object-Oriented Programming"},{"key":"ref18","article-title":"A data-driven game object system","author":"bilas","year":"2002","journal-title":"Game Developers Conference"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ITW.2010.5593343"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1038\/nature16961","article-title":"Mastering the game of Go with deep neural networks and tree search","author":"silver","year":"2016","journal-title":"Nature"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113468"},{"key":"ref3","article-title":"Monte-carlo tree search: A new framework for game ai","author":"chaslot","year":"2008","journal-title":"Proc Artificial Intelligence and Interactive Digital Entertainment"},{"key":"ref6","article-title":"IGDA 2019 developer satisfaction survey","author":"weststar","year":"2019"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1111\/1467-9310.00071"},{"key":"ref8","article-title":"Sentient sketchbook: Computer-aided game level authoring","author":"liapis","year":"2013","journal-title":"Proceedings of ACM Conference on Foundations of Digital Games"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1145\/2282338.2282347","article-title":"The micro-rhetorics of game-o-matic","author":"treanor","year":"2012","journal-title":"Proceedings of 6th Conference on Foundations of Digital Games"},{"key":"ref2","article-title":"Speedtree, open research content archive (orca)","year":"2017"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2013.6633610"},{"key":"ref1","article-title":"Applying goal-oriented, action planning to games","author":"orkin","year":"2003"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2282338.2282375"},{"key":"ref22","article-title":"From mechanics to meaning and back again: Exploring techniques for the contextualisation of code","author":"cook","year":"2013","journal-title":"Proceedings of the Workshop on AI and Game Aesthetics at AIIDE"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.1609\/aiide.v14i1.13013","article-title":"Gemini: Bidirectional generation and analysis of games via ASP","author":"summerville","year":"2018","journal-title":"Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment"},{"key":"ref24","doi-asserted-by":"crossref","DOI":"10.1609\/aiide.v7i3.12477","article-title":"Simulating mechanics to study emergence in games","author":"dormans","year":"2011"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2010.2041928"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2019.8848024"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_33"}],"event":{"name":"2020 IEEE Conference on Games (CoG)","location":"Osaka, Japan","start":{"date-parts":[[2020,8,24]]},"end":{"date-parts":[[2020,8,27]]}},"container-title":["2020 IEEE Conference on Games (CoG)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9222389\/9231525\/09231750.pdf?arnumber=9231750","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,24]],"date-time":"2022-11-24T05:22:15Z","timestamp":1669267335000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9231750\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/cog47356.2020.9231750","relation":{},"subject":[],"published":{"date-parts":[[2020,8]]}}}