Component Contracts

Component Contract is a formal specification that defines the interface, behavior, and obligations of a software component, distinguishing it from other interface descriptions by explicitly constraining interactions through preconditions, postconditions, and invariants to ensure correct and dependable component integration in Component-Based Software Engineering.

Publications

1.9K

Citations

119

Authors

Institutions

Publications per year

2017–2026

Parents

Component-based Software Engineering

Publications

Making components contract aware

Antoine Beugnard, Jean‐Marc Jezéquél, Noël Plouzeau et al. · Computer · 1999 · 516 citations

Computing, Computer Engineering, Computer Systems +15

When Should Original Equipment Manufacturers Use Branded Component Contracts with Suppliers?

Mrinal Ghosh, George John · Journal of Marketing Research · 2009 · 127 citations

Business, Business Economics, Strategic Management +17

Using contract-based component specifications for virtual integration testing and architecture design

Werner Damm, Hardi Hungar, Bernhard Josko et al. · 2011 · 108 citations

Engineering, Computer Science, Systems Engineering +17

Delegation vs. Control in Supply Chain Procurement under Competition

Ehsan Bolandifar, Panos Kouvelis, Fuqiang Zhang · Production and Operations Management · 2016 · 105 citations

Business, Business Economics, Supply Chain Management +17

A Property-Based Proof System for Contract-Based Design

Alessandro Cimatti, Stefano Tonetta · 2012 · 75 citations

Computing, Computer Science, Systems Engineering +17

1–5 of 46

Authors

119

SR
Simone Röttger
Technische Universität Dresden, Germany
2 publications · 70 citations
2
h-index
MF
Matthias Felleisen
Northeastern University, United States
2 publications · 81 citations
2
h-index
SB
Steffen Becker
Paderborn University, Germany
2 publications · 36 citations
2
h-index
BX
Bing Xie
Peking University, China
2 publications · 41 citations
2
h-index
ST
Stefano Tonetta
Fondazione Bruno Kessler, Italy
2 publications · 149 citations
2
h-index

1–5 of 119

Institutions

1–8 of 62

Venues

Computer
3 publications · 567 citations
3
h-index
Formal Methods in System Design
2 publications · 25 citations
2
h-index
Electronic Proceedings in Theoretical Computer Science
1 publications · 15 citations
1
h-index
Proceedings of the ... annual International Symposium on Microarchitecture/Proceedings of the annual International Symposium on Microarchitecture
MICRO · 1 publications · 36 citations
1
h-index
Software Practice and Experience
1 publications · 13 citations
1
h-index

1–5