Specification and refinement of mobile systems in MTLA and mobile UML.
Alexander KnappStephan MerzMartin WirsingJúlia ZappePublished in: Theor. Comput. Sci. (2006)
Keyphrases
- autonomous mobile
- mobile devices
- mobile phone
- formal methods
- mobile computing
- mobile users
- computing environments
- mobile learning
- knowledge based systems
- high level
- smart phones
- mobile services
- mobile commerce
- wireless devices
- distributed systems
- formal languages
- heterogeneous platforms
- m learning
- mobile applications
- life cycle
- database design
- learning experience
- context aware
- computer systems
- management system
- expert systems