378 search results - page 15 / 76 » Formalizing Spider Diagrams |
127
click to vote
DIAGRAMS
2000
Springer
15 years 9 months ago
2000
Springer
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...
142
click to vote
GD
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. Concept lattices are used in formal concept analysis to represent data conceptually so that the original data are still recognizable. Their line diagrams should re ect th...
139
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
We present Tiger, a visual environment to design visual language (VL) specifications based on meta models, graph grammars and layout definitions. A VL specification serves as ba...
153
click to vote
EDOC
2005
IEEE
15 years 10 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
140
click to vote
VLC
2011
14 years 11 months ago
2011
Constraint diagrams were introduced by Kent, in 1997, as an alternative to the OCL for placing formal constraints on software models. Since their introduction, constraint diagrams...