Blar i Faculty of Mathematics and Natural Sciences på emneord "model management"
Viser treff 1-1 av 1
-
A Diagrammatic Logic for Object-Oriented Visual Modeling
(Peer reviewed; Journal article, 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 ...