Separation Logic for States Dependencies in Life Cycles of Android Activities and Fragments.
Mohamed A. El-ZawawyPublished in: ICCSA (6) (2017)
Keyphrases
- life cycle
- mobile platforms
- multi valued
- mobile devices
- development life cycle
- design process
- mobile platform
- mass production
- concurrent engineering
- business models
- finite state machines
- modal logic
- activity recognition
- dependency analysis
- smart phones
- product life cycle
- logic programming
- evolutionary algorithm
- real world