DocumentCode
177130
Title
Table of contents
fYear
2014
fDate
1-3 Sept. 2014
Abstract
The following topics are dealt with: software engineering; formal verification; program testing; program analysis; system modelling; system design; and cloud computing.
Keywords
cloud computing; program diagnostics; program testing; software engineering; cloud computing; formal verification; program analysis; program testing; software engineering; system design; system modelling;
fLanguage
English
Publisher
ieee
Conference_Titel
Theoretical Aspects of Software Engineering Conference (TASE), 2014
Conference_Location
Changsha
Type
conf
DOI
10.1109/TASE.2014.6
Filename
6976558
Link To Document