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