A tile logic-based semantics for mobile software architectures.
Chafia BouanakaFaiza BelalaKamel BarkaouiPublished in: Int. J. Crit. Comput. Based Syst. (2011)
Keyphrases
- software architecture
- description language
- product line
- software systems
- formal semantics
- software engineering
- mobile devices
- distributed systems
- architectural design
- reference model
- logic programming
- knowledge representation
- software development
- mobile computing
- functional requirements
- semantic information
- design patterns
- software evolution
- reference architecture
- embedded software
- computing environments
- software requirements
- commercial off the shelf
- security requirements
- mobile users
- databases
- mobile learning
- mobile phone
- relational databases