378 search results - page 21 / 76 » Formalizing Spider Diagrams |
163
click to vote
JUCS
2000
15 years 4 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
123
Voted
TOOLS
1999
IEEE
15 years 9 months ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
160
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...
134
click to vote
KCAP
2009
ACM
15 years 11 months ago
2009
ACM
Many information sources use multiple modalities, such as textbooks, which contain both text and diagrams. Each captures information that is hard to express in the other, and evid...
130
click to vote
WOSP
2004
ACM
15 years 10 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...