Formal Spacification and Use Case Generation for a Mobile Telephony System.
Randall TuokLuigi LogrippoPublished in: Comput. Networks (1998)
Keyphrases
- mobile devices
- mobile phone
- context aware
- generation method
- generation process
- mobile applications
- wearable devices
- formal specification
- mobile computing
- formal model
- computing environments
- object oriented
- mobile users
- mobile learning
- mobile networks
- data model
- operational semantics
- mobile commerce
- intelligent mobile
- requirements elicitation
- autonomous mobile
- data sets