• 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