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 :
بازگشت