DocumentCode :
1399610
Title :
Formal Design of Ambient Intelligence Applications
Author :
Coronato, Antonio ; De Pietro, G.
Author_Institution :
CNR, ICAR, Naples, Italy
Volume :
43
Issue :
12
fYear :
2010
Firstpage :
60
Lastpage :
68
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.
Keywords :
formal specification; software engineering; Ami design activity; ambient intelligence application; critical system; formal design; formal tool; software engineering oriented approach; specification process; Ambient intelligence; Mobile communication; Nuclear medicine; Ontologies; Radiofrequency identification; Real time systems; Testing; AmI technologies; Ambient intelligence; Designing process and tools; Formal methods;
fLanguage :
English
Journal_Title :
Computer
Publisher :
ieee
ISSN :
0018-9162
Type :
jour
DOI :
10.1109/MC.2010.335
Filename :
5662550
Link To Document :
بازگشت