{"id":"https://openalex.org/W2971428602","doi":"https://doi.org/10.1109/ccoms.2019.8821750","title":"A Generic Formal Specification of an Infinite Runner Games for Handheld Devices Using Z-Notation","display_name":"A Generic Formal Specification of an Infinite Runner Games for Handheld Devices Using Z-Notation","publication_year":2019,"publication_date":"2019-02-01","ids":{"openalex":"https://openalex.org/W2971428602","doi":"https://doi.org/10.1109/ccoms.2019.8821750","mag":"2971428602"},"language":"en","primary_location":{"id":"doi:10.1109/ccoms.2019.8821750","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccoms.2019.8821750","pdf_url":null,"source":{"id":"https://openalex.org/S4306498485","display_name":"2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059900651","display_name":"Abid Jamil","orcid":null},"institutions":[{"id":"https://openalex.org/I201384688","display_name":"National University of Computer and Emerging Sciences","ror":"https://ror.org/003eyb898","country_code":"PK","type":"education","lineage":["https://openalex.org/I201384688"]}],"countries":["PK"],"is_corresponding":true,"raw_author_name":"Abid Jamil","raw_affiliation_strings":["Department of Computer Science, FAST - NUCES Chiniot - Faisalabad Campus, Pakistan"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, FAST - NUCES Chiniot - Faisalabad Campus, Pakistan","institution_ids":["https://openalex.org/I201384688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020293237","display_name":"Zeshan Murtza","orcid":null},"institutions":[{"id":"https://openalex.org/I186354981","display_name":"University of Passau","ror":"https://ror.org/05ydjnb78","country_code":"DE","type":"education","lineage":["https://openalex.org/I186354981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Zeshan Murtza","raw_affiliation_strings":["Faculty of Computer Science and Mathematics, University of Passau, Passau, Germany"],"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science and Mathematics, University of Passau, Passau, Germany","institution_ids":["https://openalex.org/I186354981"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101578750","display_name":"Muhammad Kashif Nazir","orcid":"https://orcid.org/0000-0002-8590-8733"},"institutions":[{"id":"https://openalex.org/I195024194","display_name":"Riphah International University","ror":"https://ror.org/02kdm5630","country_code":"PK","type":"education","lineage":["https://openalex.org/I195024194"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Muhammad Kashif Nazir","raw_affiliation_strings":["Riphah College Of Computing, Riphah International University, Faisalabad, Pakistan"],"affiliations":[{"raw_affiliation_string":"Riphah College Of Computing, Riphah International University, Faisalabad, Pakistan","institution_ids":["https://openalex.org/I195024194"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083785289","display_name":"Muhammad Waseem","orcid":"https://orcid.org/0000-0002-0923-1476"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Muhammad Waseem","raw_affiliation_strings":["School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071355709","display_name":"Zikra Ghulam","orcid":null},"institutions":[{"id":"https://openalex.org/I899713450","display_name":"Air University","ror":"https://ror.org/03yfe9v83","country_code":"PK","type":"education","lineage":["https://openalex.org/I899713450"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Zikra Ghulam","raw_affiliation_strings":["Institute Of Avionics & Aeronautics Air University, Islamabad, Pakistan"],"affiliations":[{"raw_affiliation_string":"Institute Of Avionics & Aeronautics Air University, Islamabad, Pakistan","institution_ids":["https://openalex.org/I899713450"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009054995","display_name":"Rao Umer Farooq","orcid":null},"institutions":[{"id":"https://openalex.org/I195024194","display_name":"Riphah International University","ror":"https://ror.org/02kdm5630","country_code":"PK","type":"education","lineage":["https://openalex.org/I195024194"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Rao Umer Farooq","raw_affiliation_strings":["Riphah College Of Computing, Riphah International University, Faisalabad, Pakistan"],"affiliations":[{"raw_affiliation_string":"Riphah College Of Computing, Riphah International University, Faisalabad, Pakistan","institution_ids":["https://openalex.org/I195024194"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5059900651"],"corresponding_institution_ids":["https://openalex.org/I201384688"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.14830508,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"4","issue":null,"first_page":"409","last_page":"413"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10731","display_name":"Educational Games and Gamification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/3204","display_name":"Developmental and Educational Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10731","display_name":"Educational Games and Gamification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/3204","display_name":"Developmental and Educational Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11197","display_name":"Digital Games and Media","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7664124965667725},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.7413468360900879},{"id":"https://openalex.org/keywords/schema","display_name":"Schema (genetic algorithms)","score":0.6183142066001892},{"id":"https://openalex.org/keywords/mobile-device","display_name":"Mobile device","score":0.6128329634666443},{"id":"https://openalex.org/keywords/game-mechanics","display_name":"Game mechanics","score":0.5696354508399963},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5540932416915894},{"id":"https://openalex.org/keywords/android","display_name":"Android (operating system)","score":0.5370003581047058},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4842209815979004},{"id":"https://openalex.org/keywords/turns-rounds-and-time-keeping-systems-in-games","display_name":"Turns, rounds and time-keeping systems in games","score":0.46407654881477356},{"id":"https://openalex.org/keywords/mathematical-notation","display_name":"Mathematical notation","score":0.4590829908847809},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.44362419843673706},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.41179215908050537},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32623642683029175},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.22967877984046936},{"id":"https://openalex.org/keywords/video-game-design","display_name":"Video game design","score":0.1724204421043396},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11844015121459961},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.10711872577667236}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7664124965667725},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.7413468360900879},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.6183142066001892},{"id":"https://openalex.org/C186967261","wikidata":"https://www.wikidata.org/wiki/Q5082128","display_name":"Mobile device","level":2,"score":0.6128329634666443},{"id":"https://openalex.org/C170828538","wikidata":"https://www.wikidata.org/wiki/Q1751513","display_name":"Game mechanics","level":2,"score":0.5696354508399963},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5540932416915894},{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.5370003581047058},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4842209815979004},{"id":"https://openalex.org/C56694532","wikidata":"https://www.wikidata.org/wiki/Q4421045","display_name":"Turns, rounds and time-keeping systems in games","level":4,"score":0.46407654881477356},{"id":"https://openalex.org/C24457124","wikidata":"https://www.wikidata.org/wiki/Q1140046","display_name":"Mathematical notation","level":3,"score":0.4590829908847809},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.44362419843673706},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.41179215908050537},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32623642683029175},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.22967877984046936},{"id":"https://openalex.org/C47187476","wikidata":"https://www.wikidata.org/wiki/Q12336660","display_name":"Video game design","level":3,"score":0.1724204421043396},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11844015121459961},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.10711872577667236},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ccoms.2019.8821750","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccoms.2019.8821750","pdf_url":null,"source":{"id":"https://openalex.org/S4306498485","display_name":"2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W21065629","https://openalex.org/W132028353","https://openalex.org/W651567349","https://openalex.org/W1511827303","https://openalex.org/W1539019889","https://openalex.org/W1555295778","https://openalex.org/W2019364833","https://openalex.org/W2023781511","https://openalex.org/W2057928203","https://openalex.org/W2149632670","https://openalex.org/W2168021160","https://openalex.org/W2172281747","https://openalex.org/W2479485957","https://openalex.org/W2584259333","https://openalex.org/W2586476441","https://openalex.org/W2628255623","https://openalex.org/W2783293896","https://openalex.org/W2793151451","https://openalex.org/W2811068733","https://openalex.org/W2884254583","https://openalex.org/W2884854827","https://openalex.org/W2888883027","https://openalex.org/W4238210049"],"related_works":["https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1903167137","https://openalex.org/W2049993111","https://openalex.org/W2045204345","https://openalex.org/W2034589735","https://openalex.org/W2000748572","https://openalex.org/W2110102808","https://openalex.org/W1934783205"],"abstract_inverted_index":{"The":[0,17,79,92,103,115,131],"exponential":[1],"increase":[2],"in":[3,7,13,60,101],"usage":[4],"of":[5,19,47,65,82,97,99,112,117],"games":[6,21,26,50,76],"daily":[8],"life":[9],"has":[10],"been":[11],"seen":[12],"the":[14,58,62,83,95,113],"present":[15],"era.":[16],"use":[18],"mobile":[20],"is":[22,77,88,107],"rapidly":[23],"increasing.":[24],"Mobile":[25],"are":[27],"now":[28],"considered":[29],"a":[30],"useful":[31],"tool":[32],"for":[33,51,72,86,139],"learning":[34],"and":[35,44,128],"educational":[36],"practices.":[37],"This":[38,54],"research":[39,55],"mainly":[40],"focuses":[41],"on":[42],"development":[43,127],"game":[45,63,118],"mechanics":[46,64,119],"endless":[48,66],"runner":[49,67,75],"hand-held":[52],"devices.":[53],"will":[56,123],"facilitate":[57],"developers":[59,87,125],"understanding":[61],"games.":[68,141],"A":[69],"generic":[70],"algorithm":[71,85,100],"endless/":[73],"infinite":[74],"proposed.":[78],"formal":[80,121],"specification":[81,122],"proposed":[84,132],"presented":[89],"using":[90],"Z-Notation.":[91,102],"study":[93],"presents":[94],"evidence":[96],"translation":[98],"FUZZ":[104],"Type":[105],"checker":[106],"used":[108],"to":[109],"validate":[110],"Z-Schema":[111],"Algorithm.":[114],"presentation":[116],"through":[120],"help":[124],"during":[126],"testing":[129],"phase.":[130],"Z-Notation":[133],"schema":[134],"can":[135],"also":[136],"be":[137],"extended":[138],"other":[140]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}