Sequence Diagram Modeling is a formal method in software modeling that specifies the dynamic behavior of a system by depicting the chronological order of message exchanges among system components within a particular scenario.
154
Publications
4.7K
Citations
396
Authors
179
Institutions
Publications per year
2017–2026
24
Parents
Publications
154
vUML: a tool for verifying UML models
Johan Lilius · 2003 · 225 citations
STAIRS towards formal design with sequence diagrams
Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde et al. · Software & Systems Modeling · 2005 · 128 citations
Computing, Computer Science, Design +14
1–5 of 154
Authors
396
- KS
4
h-index
- DH
3
h-index
- XL
3
h-index
- YL
3
h-index
- DK
3
h-index
1–5 of 396
Institutions
179
University of Oslo
Oslo, Norway
5 h-index
11 publications
609 citations
SINTEF
Trondheim, Norway
4 h-index
7 publications
214 citations
Centre National de la Recherche Scientifique
Paris, France
4 h-index
7 publications
332 citations
Carleton University
Ottawa, Canada
4 h-index
10 publications
318 citations
Institute of Software
Beijing, China
3 h-index
6 publications
224 citations
Tampere University
Tampere, Finland
3 h-index
6 publications
539 citations
Nanjing University
Nanjing, China
3 h-index
4 publications
116 citations
The University of Osaka
Osaka, Japan
3 h-index
10 publications
311 citations
1–8 of 179
Venues
- Software & Systems Modeling
SoSyM · 5 publications · 429 citations
5
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 5 publications · 122 citations
5
h-index
- Reliability Engineering & System Safety
5 publications · 284 citations
5
h-index
- Science of Computer Programming
3 publications · 44 citations
3
h-index
- Lecture notes in computer science
LNCS · Book series · 2 publications · 36 citations
2
h-index
1–5