{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:12:57Z","timestamp":1730203977524,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"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":[[2019,2]]},"DOI":"10.1109\/ccoms.2019.8821750","type":"proceedings-article","created":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T01:45:06Z","timestamp":1567475106000},"page":"409-413","source":"Crossref","is-referenced-by-count":1,"title":["A Generic Formal Specification of an Infinite Runner Games for Handheld Devices Using Z-Notation"],"prefix":"10.1109","author":[{"given":"Abid","family":"Jamil","sequence":"first","affiliation":[]},{"given":"Zeshan","family":"Murtza","sequence":"additional","affiliation":[]},{"given":"Muhammad Kashif","family":"Nazir","sequence":"additional","affiliation":[]},{"given":"Muhammad","family":"Waseem","sequence":"additional","affiliation":[]},{"given":"Zikra","family":"Ghulam","sequence":"additional","affiliation":[]},{"given":"Rao Umer","family":"Farooq","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Create an Endless Running Game in Unity","year":"2016","author":"yancan","key":"ref10"},{"key":"ref11","article-title":"Procedural Level Balancing in Runner Games","author":"vasconcelos de medeiros","year":"2014","journal-title":"Proc SBGames"},{"key":"ref12","first-page":"797","author":"de medeiros","year":"2014","journal-title":"Procedural Level Balancing in Runner Games"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SEEFM.2009.15"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1201\/9780080919171"},{"journal-title":"Rules of Play Game Design Fundamentals","year":"2004","author":"salen","key":"ref15"},{"journal-title":"Game design workshop Designing prototyping and playtesting games","year":"2004","author":"fullerton","key":"ref16"},{"journal-title":"Game Design the Art & Business of Creating Games Thomson Course Technology","year":"2004","author":"bates","key":"ref17"},{"journal-title":"Fundamentals of Game Design Prentice Hall","year":"2006","author":"adams","key":"ref18"},{"journal-title":"Game Design Theory and Practice","year":"2001","author":"rouse","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.cities.2018.01.003"},{"key":"ref3","first-page":"1","author":"cohendet","year":"2018","journal-title":"The local the global and the industry common the case of the video game industry"},{"key":"ref6","first-page":"1","volume":"4","author":"alemm","year":"2016","journal-title":"Game Development Software Engineering Process Life Cycle A Systematic Review Game development software engineering process life cycle a systematic review"},{"key":"ref5","volume":"3684","author":"ernkvist","year":"2018","journal-title":"Differentiation in digital creative industry cluster dynamics the growth and decline of the Japanese video game software industry"},{"journal-title":"The Future of Web and Mobile Game Development","year":"2016","author":"curran","key":"ref8"},{"journal-title":"Top 5 Tools for Mobile Game Development","year":"2017","key":"ref7"},{"key":"ref2","first-page":"19","article-title":"Mobile Game Development for Multiple Devices in Education","volume":"4","author":"torrente","year":"2009","journal-title":"Int J Eng Technol"},{"key":"ref9","article-title":"ELLE the EndLess LEarner: Exploring second language acquisition through an endless runnerstyle video game","author":"ii","year":"2017","journal-title":"Digital Humanities"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3196398.3196418"},{"key":"ref20","first-page":"326","author":"aseriskis","year":"2017","journal-title":"UAREI A model for formal description and visual representation \/software gamification DYNA 84(200)"},{"key":"ref22","article-title":"Gamification Patterns for Gamification Applications","author":"damasevicius","year":"2015","journal-title":"6th Int Conf Intell Hum Comput Interact"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2018.07.248"},{"key":"ref24","first-page":"1431","article-title":"Gamification in theory and action: A survey","volume":"74","author":"studies","year":"2015","journal-title":"Int J Human-Computer Stud"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/UCC.2013.96"},{"journal-title":"Modeling and Formal Verification of Gaming Storylines","year":"2016","author":"holloway","key":"ref25"}],"event":{"name":"2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS)","start":{"date-parts":[[2019,2,23]]},"location":"Singapore","end":{"date-parts":[[2019,2,25]]}},"container-title":["2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8811523\/8821628\/08821750.pdf?arnumber=8821750","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:16:11Z","timestamp":1657854971000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8821750\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/ccoms.2019.8821750","relation":{},"subject":[],"published":{"date-parts":[[2019,2]]}}}