Abstract :
The following topics are dealt with: next generation systems; Internet; autonomic networks; self-organizing systems; code generation; ASSL specification; swarm-base systems; SOA; runtime verification; and distributed systems.
Keywords :
distributed processing; fault tolerant computing; formal specification; program verification; software architecture; ASSL specification; Internet; SOA; autonomic networks; code generation; distributed systems; next generation systems; runtime verification; self-organizing systems; swarm-base systems;
Conference_Titel :
Engineering of Autonomic and Autonomous Systems, 2009. EASe 2009. Sixth IEEE Conference and Workshops on
Conference_Location :
San Francisco, CA
Print_ISBN :
978-0-7695-3623-1
DOI :
10.1109/EASe.2009.1
