DocumentCode
2145837
Title
[Title page i]
fYear
2011
fDate
27-29 April 2011
Abstract
The following topics are dealt with: distributed autonomicity; decentralized autonomicity; virtualized environment; mobile application; formal specification; model checking; linear temporal logic; self-testable autonomic software; adaptive role based model; bioinspired design pattern; and self-organizing emergent system.
Keywords
distributed processing; formal specification; formal verification; program testing; temporal logic; adaptive role based model; bioinspired design pattern; decentralized autonomicity; distributed autonomicity; formal specification; linear temporal logic; mobile application; model checking; self-organizing emergent system; self-testable autonomic software; virtualized environment;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Autonomic and Autonomous Systems (EASe), 2011 8th IEEE International Conference and Workshops on
Conference_Location
Las Vegas, NV
Print_ISBN
978-1-4577-0309-6
Type
conf
DOI
10.1109/EASe.2011.1
Filename
5946194
Link To Document