IPL
2002
13 years 11 months ago
2002
We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving system...
SPLST
2003
14 years 27 days ago
2003
Abstract. In this paper, we consider the aesthetic criteria and constraints related to the layouts of UML sequence diagrams. We consider the applicability of the traditional graph ...
DAGSTUHL
2003
14 years 28 days ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
ECMDAFA
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. In this paper we introduce an aspect language that can define crosscutting e
APSEC
2009
IEEE
14 years 3 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...