Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets.
Søren ChristensenJens Bæk JørgensenAntti-Pekka TuovinenJianli XuPublished in: ISoLA (Preliminary proceedings) (2004)
Keyphrases
- mobile phone
- memory usage
- coloured petri nets
- software systems
- software development
- software engineering
- memory requirements
- mobile users
- modeling language
- software architecture
- mobile learning
- memory footprint
- mobile devices
- smart phones
- mobile applications
- software maintenance
- software design
- mobile phone users
- mobile technologies
- formal methods
- formal verification
- uml profile
- computational complexity
- object oriented
- cellular phone
- requirements engineering
- user interface
- text entry
- model checking
- information systems
- language learning