Subject-observer specification with component-interaction automata.
Pavlína VarekováBarbora ZimmerovaPublished in: SAVCBS (2007)
Keyphrases
- human computer interaction
- high level
- specification language
- cellular automata
- software components
- tree automata
- neural network
- learning environment
- formal specification
- virtual environment
- finite automata
- finite state
- information seeking
- user defined
- real time
- user interaction
- user interface
- mobile devices
- bayesian networks
- computer vision
- artificial intelligence
- data sets