Logo des Repositoriums

Auflistung nach Autor:in "Maoz, Shahar"

1 - 6 von 6
  • Konferenzbeitrag
    Component and Connector Views in Practice
    (Software Engineering und Software Management 2018, 2018) Bertram, Vincent; Maoz, Shahar; Ringert, Jan Oliver; Rumpe, Bernhard; von Wenckstern, Michael
    We have presented an experience report of applying Component and Connector (C&C) view verification with an industrial partner, at the MoDELS 2017 conference. C&C views are a means for formal yet intuitive structural specification of C&C models. We report on our experience how C&C views and their verification help to address challenges of traceability and evolution in automotive industry. We analyzed the development process at Daimler AG and evaluated our C&C views verification tool on five Simulink models with more than 7700 subsystems in total and C&C views created for 183 textual requirements provided by Daimler AG. We describe our experience in detail and discuss a list of lessons learned, including, e.g., a missing abstraction concept in C&C models and C&C views that we have identified and added to the views language and tool, that engineers can create graphical C&C views quite easily, and how verification algorithms scale on real-size industry models. Furthermore, we report on the non-negligible technical effort needed to translate Simulink block diagrams to C&C models. We make all materials mentioned and used in our experience electronically available for inspection and further research.
  • Konferenzbeitrag
    GR(1) synthesis for LTL specification patterns
    (Software Engineering 2016, 2016) Maoz, Shahar; Ringert, Jan Oliver
  • Zeitschriftenartikel
    An Interim Summary on Semantic Model Differencing
    (Softwaretechnik-Trends: Vol. 32, No. 4, 2012) Maoz, Shahar; Ringert, Jan; Rumpe, Bernhard
    Shahar Maoz
  • Konferenzbeitrag
    Synthesis of component and connector models from crosscutting structural views (extended abstract)
    (Software Engineering 2014, 2014) Maoz, Shahar; Ringert, Jan Oliver; Rumpe, Bernhard
  • Konferenzbeitrag
    Triggers for Reactive Synthesis Specifications
    (Software Engineering 2024 (SE 2024), 2024) Amram, Gal; Ma’ayan, Dor; Maoz, Shahar; Pistiner, Or; Ringert, Jan Oliver
  • Konferenzbeitrag
    Verifying component and connector models against crosscutting structural views
    (Software-engineering and management 2015, 2015) Maoz, Shahar; Ringert, Jan Oliver; Rumpe, Bernhard
    The structure of component and connector (C\&C) models, which are used in many application domains of software engineering, consists of components at different containment levels, their typed input and output ports, and the connectors between them. C\&C views, presented in [MRR13], can be used to specify structural properties of C\&C models in an expressive and intuitive way.