All Stories

  1. Feedback on the formal verification of UML models in an industrial context

    Article • October 2022, ACM (Association for Computing Machinery)

    Frédéric Jouault, Maxime Méré

  2. From OCL-based model static analysis to quick fixes

    Article • October 2022, ACM (Association for Computing Machinery)

    Frédéric Jouault, Maxime Méré