Abstract :
The following topics are dealt with: complex computer system; formal verification; software testing; software architecture; formal modelling; code generation; data security; trust model; software engineering; human-computer interaction; wearable computing; augmented reality; virtual reality; software development process; software requirement analysis; UML and AADL.
Keywords :
Unified Modeling Language; software engineering; AADL; UML; augmented reality; code generation; complex computer system; data security; formal modelling; formal verification; human-computer interaction; software architecture; software development process; software engineering; software requirement analysis; software testing; trust model; virtual reality; wearable computing;
Conference_Titel :
Engineering of Complex Computer Systems, 2009 14th IEEE International Conference on
Conference_Location :
Potsdam
Print_ISBN :
978-0-7695-3702-3
DOI :
10.1109/ICECCS.2009.1
