Design By Refinement is a formal software development methodology that systematically transforms abstract specifications into concrete implementations through a sequence of correctness-preserving refinement steps.
78
Publications
4K
Citations
171
Authors
80
Institutions
Publications per year
2017–2026
6
Parents
Publications
78
Yannis Smaragdakis, Don Batory · ACM Transactions on Software Engineering and Methodology · 2002 · 318 citations
Andrea Ferrara · 2004 · 241 citations
Yingxu Wang · International Journal of Cognitive Informatics and Natural Intelligence · 2008 · 159 citations
1–5 of 78
Authors
171
- JG
3
h-index
- DB
3
h-index
- DD
3
h-index
- LF
2
h-index
- CJ
2
h-index
1–5 of 171
Institutions
80
University of California, Irvine
Irvine, United States
3 h-index
5 publications
189 citations
Universidade Federal de Pernambuco
Recife, Brazil
3 h-index
8 publications
146 citations
Motorola (United States)
Schaumburg, United States
3 h-index
3 publications
157 citations
The University of Texas at Austin
Austin, United States
3 h-index
5 publications
2K citations
University of California, Berkeley
Berkeley, United States
3 h-index
8 publications
423 citations
Technion – Israel Institute of Technology
Haifa, Israel
2 h-index
3 publications
121 citations
Ludwig-Maximilians-Universität München
Munich, Germany
2 h-index
2 publications
835 citations
Rutgers, The State University of New Jersey
New Brunswick, United States
2 h-index
3 publications
81 citations
1–8 of 80
Venues
- IEEE Transactions on Software Engineering
TSE · 7 publications · 1.6K citations
7
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 34 citations
2
h-index
- ACM Transactions on Embedded Computing Systems
TECS · 2 publications · 48 citations
2
h-index
- International Conference on Software Engineering
Conference · 2 publications · 51 citations
2
h-index
- Electronic workshops in computing
2 publications · 27 citations
2
h-index
1–5