Use Case Formalization
Use Case Formalization is a methodological construct within requirements engineering that systematically structures use case specifications into a standardized, analyzable format to enhance precision, traceability, and validation in software development processes.
118
Publications
3.7K
Citations
291
Authors
140
Institutions
Publications per year
2017–2026
14
Parents
118
Using formal methods to develop an ATC information system
Anthony Hall · IEEE Software · 1996 · 128 citations
1–5 of 118
291
Indian Institute of Information Technology Design and Manufacturing Jabalpur, India
3 publications · 61 citations
3
h-index
3
h-index
3
h-index
3
h-index
3
h-index
1–5 of 291
140

Concordia University
Montreal, Canada
6 h-index
18 publications
330 citations
Indian Institute of Information Technology Design and Manufacturing Jabalpur
Jabalpur, India
3 h-index
5 publications
107 citations

Paderborn University
Paderborn, Germany
3 h-index
9 publications
699 citations
University of Minho
Braga, Portugal
3 h-index
4 publications
79 citations

University of Ottawa
Ottawa, Canada
3 h-index
4 publications
262 citations
Warsaw University of Technology
Warsaw, Poland
3 h-index
6 publications
85 citations
Fraunhofer-Gesellschaft
Munich, Germany
2 h-index
2 publications
51 citations

University of Skövde
Skövde, Sweden
2 h-index
2 publications
30 citations
1–8 of 140
8 publications · 381 citations
8
h-index
JOT · 5 publications · 92 citations
5
h-index
4 publications · 318 citations
4
h-index
4 publications · 141 citations
4
h-index
SoSyM · 3 publications · 55 citations
3
h-index
1–5