Formal Design of Ambient Intelligence Applications
Antonio Coronato, Giuseppe De Pietro · Computer · 2010
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.