Behavioral Interface Specification is a formal construct in behavioral modeling that defines the observable actions, constraints, and interaction protocols of a system or component, distinguishing it from structural or implementation-specific descriptions by focusing exclusively on behavioral expectations and allowable sequences of operations.
47
Publications
2.1K
Citations
110
Authors
64
Institutions
Publications per year
2017–2026
1
Variants
Bis
Parents
Publications
47
Gary T. Leavens, Albert L. Baker, Clyde Ruby · ACM SIGSOFT Software Engineering Notes · 2006 · 787 citations
Gary T. Leavens, Yoonsik Cheon · 2006 · 188 citations
Computing, Computer Science, Design +17
1–5 of 47
Authors
110
- IP
3
h-index
- IR
3
h-index
- GT
3
h-index
- YC
2
h-index
- WS
2
h-index
1–5 of 110
Institutions
64
Centre National de la Recherche Scientifique
Paris, France
3 h-index
4 publications
96 citations
Åbo Akademi University
Turku, Finland
3 h-index
6 publications
106 citations
Iowa State University
Ames, United States
3 h-index
4 publications
1.6K citations
FZI Research Center for Information Technology
Karlsruhe, Germany
2 h-index
2 publications
24 citations
University of Tübingen
Tübingen, Germany
2 h-index
2 publications
24 citations
Microsoft Research (United Kingdom)
Cambridge, United Kingdom
2 h-index
3 publications
140 citations
École Polytechnique Fédérale de Lausanne
Lausanne, Switzerland
2 h-index
4 publications
128 citations
Université Fédérale de Toulouse Midi-Pyrénées
Toulouse, France
2 h-index
5 publications
94 citations
1–8 of 64
Venues
- The Journal of Logic and Algebraic Programming
2 publications · 44 citations
2
h-index
- IEEE Transactions on Computers
1 publications · 25 citations
1
h-index
- scholarworks - UTEP (The University of Texas at El Paso)
Repository · 1 publications · 12 citations
1
h-index
- IEEE Transactions on Software Engineering
TSE · 1 publications · 46 citations
1
h-index
- Computer
1 publications · 50 citations
1
h-index
1–5