Abstract :
The following topics are dealt with: software reuse; product lines; software engineering; software metrics; software measurement; model driven software development; software verification; software validation; software testing; and formal methods.
Keywords :
program testing; program verification; software metrics; software reusability; formal methods; model driven software development; product lines; software engineering; software measurement; software metrics; software reuse; software testing; software validation; software verification;
Conference_Titel :
Software Engineering, 2009. SBES '09. XXIII Brazilian Symposium on
Conference_Location :
Fortaleza, Ceara
Print_ISBN :
978-1-4244-5024-4
DOI :
10.1109/SBES.2009.1
