XML in Formal Specification, Verification and Generation of Mobile HCI.
Ines RiahiMeriem RiahiFaouzi MoussaPublished in: HCI (3) (2011)
Keyphrases
- formal specification
- model checking
- concurrent systems
- model checker
- formal methods
- specification languages
- process algebra
- human computer interaction
- temporal logic
- object oriented design
- protocol specification
- xml documents
- specification language
- formal verification
- data abstraction
- grid workflow
- mobile devices
- mobile phone
- software components
- xml data
- relational databases
- computation tree logic
- xml schema
- software engineering
- mobile applications
- metadata
- database
- databases
- asynchronous circuits
- formal specification language
- mobile computing
- reverse engineering
- knowledge representation
- data model
- user interface
- object oriented databases
- software systems
- bounded model checking
- high level
- information systems