4617 search results - page 89 / 924 » Automation of Diagrammatic Reasoning |
158
click to vote
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
200
click to vote
VL
1999
IEEE
15 years 10 months ago
1999
IEEE
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in c...
198
click to vote
WIFT
1998
IEEE
15 years 10 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...