مرکز منطقه ای اطلاع رساني علوم و فناوري

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 :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=177130