Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications.
Antonio CoronatoGiuseppe De PietroPublished in: IEEE Trans. Software Eng. (2012)
Keyphrases
- ambient intelligence
- rapid prototyping
- provably correct
- formal methods
- context awareness
- context aware
- ubiquitous computing
- artificial intelligence
- intelligent systems
- development environment
- wearable computing
- smart environments
- human centered
- pervasive computing
- intelligent environments
- ambient intelligence systems
- ambient intelligence environments
- everyday objects
- situation calculus
- ami systems
- end users
- smart home
- ambient intelligent
- ambient computing
- user interface
- intelligent user interfaces
- data mining
- ambient assisted living
- model driven
- distributed systems
- software engineering
- web services
- machine learning
- databases