The Community for Technology Leaders
Green Image
Issue No. 12 - December (2010 vol. 43)
ISSN: 0018-9162
pp: 60-68
Antonio Coronato , ICAR-CNR
ABSTRACT
The design of ambient intelligence applications in critical systems requires rigorous software-engineering-oriented approaches. Drawing on practical experience, the authors propose a set of formal tools and a specification process for AmI design activities and artifacts.
INDEX TERMS
Ambient intelligence, Formal methods, Designing process and tools, AmI technologies
CITATION
Giuseppe De Pietro, Antonio Coronato, "Formal Design of Ambient Intelligence Applications", Computer, vol. 43, no. , pp. 60-68, December 2010, doi:10.1109/MC.2010.335
98 ms
(Ver )