Sciweavers

884 search results - page 25 / 177
» A semantics of sequence diagrams
Sort
View
VL
2010
IEEE
195views Visual Languages» more  VL 2010»
14 years 8 months ago
Causal Reasoning with Neuron Diagrams
The principle of causation is fundamental to science and society and has remained an active topic of discourse in philosophy for over two millennia. Modern philosophers often rely...
Martin Erwig, Eric Walkingshaw
ICT
2004
Springer
105views Communications» more  ICT 2004»
15 years 3 months ago
UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks
: this document presents a generic model capturing the essential structural and behavioral characteristics of network components in the light of fault management. The generic model...
Armen Aghasaryan, Claude Jard, Julien Thomas
VL
2003
IEEE
151views Visual Languages» more  VL 2003»
15 years 2 months ago
JAN -Java animation for program understanding
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...
Klaus-Peter Löhr, André Vratislavsky
ROOM
2000
14 years 11 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...
GD
1994
Springer
15 years 1 months ago
A Geometrical Heuristic for Drawing Concept Lattices
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...
Gerd Stumme, Rudolf Wille