The following topics are dealt with: verification, testing, and security; adoption and evaluation; model-driven development and education; and reverse engineering and evolution.
Keywords :
Internet; education; formal verification; reverse engineering; security of data; Web systems evolution; education; model driven development; reverse engineering; security; testing; verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Web Systems Evolution (WSE), 2012 14th IEEE International Symposium on
