268 search results - page 3 / 54 » Sequence Diagram Slicing |
VISSOFT
2005
IEEE
14 years 4 months ago
2005
IEEE
Sequence diagrams are commonly used to represent object interactions in software systems. Reverse-engineered sequence diagrams, which are constructed from existing code, are becom...
ISBI
2006
IEEE
14 years 11 months ago
2006
IEEE
The temporal alignment of nongated slice-sequences acquired at different axial positions in the living embryonic zebrafish heart permits the reconstruction of dynamic, three-dimen...
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...
TSE
2011
13 years 5 months ago
2011
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...
IPL
2002
13 years 10 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...