Formal specification of usability measures in model-driven development of context-sensitive user interfaces.
Mladjan JovanovicDusan StarcevicZoran JovanovicPublished in: AVI (2012)
Keyphrases
- context sensitive
- formal specification
- model driven development
- user interface
- model checking
- model driven
- formal methods
- software design
- software development
- reverse engineering
- language model
- natural language
- multiple task learning
- software components
- software engineering
- service oriented
- business processes
- information retrieval
- service oriented architecture
- modeling language
- end users
- database
- mashup
- relational databases