Now showing items 1-1 of 1

    • 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