DocumentCode
159145
Title
Keynote talk III: A framework for modeling architectures and their properties
Author
Sifakis, Joseph
Author_Institution
RiSD Lab., EPFL, Lausanne, Switzerland
fYear
2014
fDate
19-21 Oct. 2014
Firstpage
229
Lastpage
230
Abstract
Architectures are common means for organizing coordination between components in order to build complex systems and to make them manageable. Despite the progress of the state of the art over the past decades, there are still a lot of foundational issues that remain unsolved. In this talk we present a general framework for modeling architectures and their properties.
Keywords
large-scale systems; object-oriented programming; software architecture; complex systems; foundational issues; modeling architectures; Abstracts; Architecture; Awards activities; Computer architecture; Connectors; Embedded systems; Laboratories;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on
Conference_Location
Lausanne
Type
conf
DOI
10.1109/MEMCOD.2014.6961866
Filename
6961866
Link To Document