Now showing items 1-2 of 2

    • An Approach to Flexible Multilevel Modelling 

      Macias, Fernando; Rutle, Adrian; Stolz, Volker; Rodriguez-Echeverria, Roberto; Wolter, Uwe Egbert (German Informatics Society (GI), 2018-07-12)
      Multilevel modelling approaches tackle issues related to lack of flexibility and mixed levels of abstraction by providing features like deep modelling and linguistic extension. However, the lack of a clear consensus on ...
      Journal article
    • A Diagrammatic Logic for Object-Oriented Visual Modeling 

      Diskin, Zinovy; Wolter, Uwe Egbert (Elsevier, 2008-11-21)
      Formal generalized sketches is a graph-based specification format that borrows its main ideas from categorical and ordinary first-order logic, and adapts them to software engineering needs. In the engineering jargon, it ...
      Journal article