Specifying Reusable Components [chapter]

Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
2010 Lecture Notes in Computer Science  
Reusable software components need expressive specifications. This paper outlines a rigorous foundation to model-based contracts, a method to equip classes with strong contracts that support accurate design, implementation, and formal verification of reusable components. Model-based contracts conservatively extend the classic Design by Contract with a notion of model, which underpins the precise definitions of such concepts as abstract equivalence and specification completeness. Experiments
more » ... ing model-based contracts to libraries of data structures suggest that the method enables accurate specification of practical software.
doi:10.1007/978-3-642-15057-9_9 fatcat:pehhw23jsfhmdcjfxi6lrqmnpi