Sciweavers

110 search results - page 1 / 22
» Translating Wigmore Diagrams
Sort
View
COMMA
2006
13 years 6 months ago
Translating Wigmore Diagrams
In the early 20th century, J.H. Wigmore described a new method for analysing and laying out arguments in legal cases. His proposal was the first system of argument diagramming, and...
Glenn Rowe, Chris Reed
AGTIVE
2003
Springer
13 years 10 months ago
UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams
In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformat...
Björn Cordes, Karsten Hölscher, Hans-J&o...
AGTIVE
1999
Springer
13 years 9 months ago
Creating Semantic Representations of Diagrams
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...
Mark Minas
APSEC
2005
IEEE
13 years 10 months ago
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
Nicolas Guelfi, Amel Mammar
AGTIVE
1999
Springer
13 years 9 months ago
Generating Diagram Editors with DiaGen
DiaGen is a specification method, which is primarily based on a hypergraph grammar, and a tool that allows to automatically generate diagram editors from such a specification. Ge...
Mark Minas, Oliver Köth