Title :
11th IEEE International Conference on Engineering of Complex Computer Systems
Abstract :
The following topics are dealt with: software experiences; requirements engineering; objects and communication; hardware and software; autonomous and autonomic systems; system verification; and distributed system.
Keywords :
distributed processing; formal specification; formal verification; systems analysis; autonomic system; autonomous system; computer hardware; distributed system; requirements engineering; software engineering; system verification;
Conference_Titel :
Engineering of Complex Computer Systems, 2006. ICECCS 2006. 11th IEEE International Conference on
Conference_Location :
Stanford, CA
Print_ISBN :
0-7695-2530-X
DOI :
10.1109/ICECCS.2006.1690343