A Generic Formal Specification of an Infinite Runner Games for Handheld Devices Using Z-Notation.
Abid JamilZeshan MurtzaMuhammad Kashif NazirMuhammad WaseemZikra GhulamRao Umer FarooqPublished in: ICCCS (2019)
Keyphrases
- formal specification
- handheld devices
- mobile games
- mobile learning
- location aware
- lightweight
- model checking
- mobile devices
- smart phones
- data collection
- reverse engineering
- mobile agents
- wifi
- process algebra
- formal methods
- mobile environments
- learning scenarios
- computer games
- mobile handheld devices
- mobile technologies
- mobile phone
- databases
- business rules
- mobile computing
- software components
- case study