Abstract :
The following topics are dealt with: software engineering; software verification; software validation; software testing; model-driven software development; World Wide Web; social aspects; software requirements engineering; software product lines; software maintenance; and software/system engineering.
Keywords :
Internet; formal verification; program testing; social aspects of automation; software maintenance; systems analysis; systems engineering; World Wide Web; model-driven software development; social aspects; software engineering; software maintenance; software product lines; software requirements engineering; software testing; software validation; software verification; system engineering;
Conference_Titel :
Software Engineering (SBES), 2012 26th Brazilian Symposium on
Conference_Location :
Natal
Print_ISBN :
978-1-4673-4472-2
DOI :
10.1109/SBES.2012.35
