Component Interfaces

Component Interfaces is a formal specification that defines the observable services and behaviors provided by a software component, including its methods, properties, and events, through which other components can interact, thereby serving as the boundary between the component and its environment in component-based software engineering.

155

Publications

8K

Citations

413

Authors

187

Institutions

Publications per year

2017–2026

11

Authors

413

  1. LD
    Luca de Alfaro

    University of California, Santa Cruz, United States

    6 publications · 1.6K citations

    6

    h-index

  2. TA
    Thomas A. Henzinger

    University of California, Berkeley, United States

    6 publications · 1.7K citations

    6

    h-index

  3. OS
    Oleg Sokolsky

    University of Pennsylvania, United States

    4 publications · 149 citations

    4

    h-index

  4. IL
    Insup Lee

    University of Pennsylvania, United States

    4 publications · 149 citations

    4

    h-index

  5. LT
    Linh Thi Xuan Phan

    University of Pennsylvania, United States

    4 publications · 149 citations

    4

    h-index

1–5 of 413

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 6 publications · 163 citations

    6

    h-index

  2. Computer

    5 publications · 543 citations

    5

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 3 publications · 490 citations

    3

    h-index

  4. ACM SIGSOFT Software Engineering Notes

    SEN · 3 publications · 547 citations

    3

    h-index

  5. ACM SIGBED Review

    2 publications · 41 citations

    2

    h-index

1–5