Skip to main content

3 Result(s)

within Mounira Kezadri-Hamiaz Remove this filter

and

  1. No Access

    Article

    Correct-by-construction model driven engineering composition operators

    Model composition is a crucial activity in Model Driven Engineering both to reuse validated and verified model elements and to handle separately the various aspects in a complex system and then weave them whil...

    Mounira Kezadri Hamiaz, Marc Pantel, Xavier Thirioux… in Formal Aspects of Computing (2016)

  2. No Access

    Article

    Using Semantic Components to Represent Dynamics of an Interdisciplinary Healthcare Team in a Multi-Agent Decision Support System

    In healthcare organizations, clinical workflows are executed by interdisciplinary healthcare teams (IHTs) that operate in ways that are difficult to manage. Responding to a need to support such teams, we desig...

    Szymon Wilk, Mounira Kezadri-Hamiaz, Daniela Rosu… in Journal of Medical Systems (2015)

  3. No Access

    Chapter and Conference Paper

    A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators

    Current trends in system engineering combine modeling, composition and verification technologies in order to harness their ever growing complexity. Each composition operator dedicated to a different modeling c...

    Mounira Kezadri Hamiaz, Marc Pantel… in Formal Methods and Software Engineering (2014)