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