39 citations · 78 across the 4 of their papers we have counts for
1 paper · 1 filter
Simon Foster, Ana Cavalcanti, Samuel Canham +2
Design-by-contract is an important technique for model-based design in which a composite system is specified by a collection of contracts that specify the behavioural assumptions a…