65 citations · 347 across the 17 of their papers we have counts for
1 paper · 1 filter
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
Reusable software components need expressive specifications. This paper outlines a rigorous foundation to model-based contracts, a method to equip classes with strong contracts tha…