378 search results - page 7 / 76 » Formalizing Spider Diagrams |
DMS
2010
14 years 10 months ago
2010
Euler diagrams form the basis of a number of visual languages. However, the existing tool support for creating Euler diagrams is limited to generic diagram editing software that u...
105
click to vote
FASE
2003
Springer
15 years 5 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
112
click to vote
ASWEC
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper, both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semant...
116
click to vote
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
AGTIVE
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Diagrams that serve as a visual input facility for programming environments have to be translated into some kind of semantic description. This paper describes such a meth...