Issue No. 12 - December (2010 vol. 43)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2010.335
Antonio Coronato , ICAR-CNR
Giuseppe De Pietro , ICAR-CNR
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.
Ambient intelligence, Formal methods, Designing process and tools, AmI technologies
Antonio Coronato, Giuseppe De Pietro, "Formal Design of Ambient Intelligence Applications", Computer, vol. 43, no. , pp. 60-68, December 2010, doi:10.1109/MC.2010.335