DocumentCode
1895754
Title
Table of contents
fYear
2013
fDate
1-4 Oct. 2013
Abstract
The following topics are dealt with: software engineering; requirements engineering; Java; model checking context-awareness; software testing; and software product lines.
Keywords
Java; formal verification; program testing; software product lines; ubiquitous computing; Java; model checking context-awareness; requirements engineering; software engineering; software product lines; software testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering (SBES), 2013 27th Brazilian Symposium on
Conference_Location
Brasilia
Print_ISBN
978-0-7695-5165-4
Type
conf
DOI
10.1109/SBES.2013.22
Filename
6800171
Link To Document