• On Softening OCL Invariants 

      Gogolla, Martin; Vallecillo-Moreno, Antonio Jesus (Association Internationale pour les Technologies Objets (AITO), 2019-09-23)
      Invariants play a crucial role in system development. This contribution focuses on invariants in systems with so-called occurrence uncertainty, where we are interested in deciding whether a certain population (a set of ...