Specification Modeling is a formal method that constitutes a systematic approach to representing, structuring, and defining the functional and non-functional requirements of a system within the domain of Design Specification, distinguished by its focus on precise, analyzable, and verifiable artifact creation to support design accuracy and implementation fidelity.
256
Publications
11.3K
Citations
565
Authors
246
Institutions
Publications per year
2017–2026
8
Parents
Publications
256
Composing domain-specific design environments
Ákos Lédeczi, Árpád Bakay, Miklós Maróti et al. · Computer · 2001 · 1.1K citations
Computing, Computer Science, Design +16
Lukai Cai, Daniel D. Gajski · 2003 · 527 citations
1–5 of 256
Authors
565
- JM
6
h-index
- NG
5
h-index
- PZ
4
h-index
- AF
4
h-index
- AM
4
h-index
1–5 of 565
Institutions
246
Carnegie Mellon University
Pittsburgh, United States
8 h-index
13 publications
1K citations
Imperial College London
London, United Kingdom
6 h-index
13 publications
2.2K citations
Massachusetts Institute of Technology
Cambridge, United States
4 h-index
7 publications
429 citations
University of California, Irvine
Irvine, United States
4 h-index
7 publications
1.4K citations
University of Illinois Urbana-Champaign
Urbana, United States
4 h-index
9 publications
187 citations
Harvard University Press
Cambridge, United States
3 h-index
9 publications
464 citations
Vanderbilt University
Nashville, United States
3 h-index
11 publications
8K citations
University of Trento
Trento, Italy
3 h-index
7 publications
244 citations
1–8 of 246
Venues
- IEEE Transactions on Software Engineering
TSE · 12 publications · 1.3K citations
11
h-index
- IEEE Software
7 publications · 455 citations
7
h-index
- Requirements Engineering
7 publications · 183 citations
7
h-index
- Software Engineering Journal
6 publications · 171 citations
6
h-index
- Journal of Systems and Software
JSS · 5 publications · 132 citations
5
h-index
1–5