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

DocumentCode :

228595

Title :

Table of contents

fYear :

2014

fDate :

29-30 Sept. 2014

Abstract :

The following topics are dealt with: software components; software architecture; software reusability; formal specification; and formal verification.

Keywords :

formal specification; formal verification; software architecture; software reusability; formal specification; formal verification; software architecture; software components; software reusability;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Software Components, Architectures and Reuse (SBCARS), 2014 Eighth Brazilian Symposium on

Conference_Location :

Maceio

Type :

conf

DOI :

10.1109/SBCARS.2014.10

Filename :

7012969

Link To Document :

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