DocumentCode
2167207
Title
[Title page i]
fYear
2009
fDate
2-4 June 2009
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems, 2009 14th IEEE International Conference on
Conference_Location
Potsdam
Print_ISBN
978-0-7695-3702-3
Type
conf
DOI
10.1109/ICECCS.2009.1
Filename
5090498
Link To Document