102 search results - page 1 / 21 » A reading algorithm for constraint diagrams |
VL
2003
IEEE
13 years 10 months ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...
DIAGRAMS
2004
Springer
13 years 8 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
VL
2005
IEEE
13 years 10 months ago
2005
IEEE
DIAGRAMS
2006
Springer
13 years 8 months ago
2006
Springer
In her book "The Iconic Logic of Peirce's Graphs", S. J. Shin elaborates the diagrammatic logic of Peirce's Existential Graphs. Particularly, she provides trans...
ISCAS
1999
IEEE
13 years 9 months ago
1999
IEEE
In this paper, we present a new method for verifying the realizability of a timing diagram with linear timing constraints, thus ensuring that the implementation of the underlying ...