Abstract :
The following topics are dealt with: Internet; green IT; security; software architecture; mobile computing; pervasive computing; software quality; software evolution; software maintenance; requirements engineering; smart computing; doctoral symposium; performance engineering; formal methods; real-time systems; and embedded systems.
Keywords :
Internet; embedded systems; formal verification; mobile computing; security of data; software architecture; software maintenance; software performance evaluation; software quality; Internet; doctoral symposium; embedded systems; formal methods; green IT; mobile computing; performance engineering; pervasive computing; real-time systems; requirements engineering; security; smart computing; software architecture; software evolution; software maintenance; software quality;
Conference_Titel :
Computer Software and Applications Conference (COMPSAC), 2010 IEEE 34th Annual
Conference_Location :
Seoul
Print_ISBN :
978-1-4244-7512-4
Electronic_ISBN :
0730-3157
DOI :
10.1109/COMPSAC.2010.1
