| Autor: |
Abid Jamil, Muhammad Kashif Nazir, Rao Umer Farooq, Zikra Ghulam, Muhammad Waseem, Zeshan Murtza |
| Rok vydání: |
2019 |
| Předmět: |
|
| Zdroj: |
ICCCS |
| DOI: |
10.1109/ccoms.2019.8821750 |
| Popis: |
The exponential increase in usage of games in daily life has been seen in the present era. The use of mobile games is rapidly increasing. Mobile games are now considered a useful tool for learning and educational practices. This research mainly focuses on development and game mechanics of endless runner games for hand-held devices. This research will facilitate the developers in understanding the game mechanics of endless runner games. A generic algorithm for endless/ infinite runner games is proposed. The formal specification of the proposed algorithm for developers is presented using Z-Notation. The study presents the evidence of translation of algorithm in Z-Notation. The FUZZ Type checker is used to validate Z-Schema of the Algorithm. The presentation of game mechanics through formal specification will help developers during development and testing phase. The proposed Z-Notation schema can also be extended for other games. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
