Abstract :
The following topics are dealt with: adaptation and autonomic systems; distributed and service-based applications; formal methods; real-time systems; model-driven engineering; complex system modelling and simulation; UML and AADL workshop.
Keywords :
Unified Modeling Language; fault tolerant computing; formal verification; large-scale systems; modelling; real-time systems; AADL workshop; UML; autonomic systems; complex system modelling; complex system simulation; formal methods; model-driven engineering; real-time systems; service-based applications;
Conference_Titel :
Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on
Conference_Location :
Oxford
Print_ISBN :
978-1-4244-6638-2
DOI :
10.1109/ICECCS.2010.19
