fDate :
March 31 2008-April 3 2008
Abstract :
The following topics are dealt with: complex computer systems; formal verification; formal specification; synchronization; scheduling; software testing; Web services; pervasive computing; semantic services; software engineering; mobile computing; UML; AADL.
Keywords :
Web services; program testing; software engineering; specification languages; ubiquitous computing; AADL; UML; Web services; complex computer systems; formal specification; formal verification; mobile computing; pervasive computing; scheduling; semantic services; software engineering; software testing; synchronization;
Conference_Titel :
Engineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on
Conference_Location :
Belfast
Print_ISBN :
0-7695-3139-3
DOI :
10.1109/ICECCS.2008.1
