This website uses cookies
We use cookies to continuously improve your experience on our site. More info.
A method of developing software using contracts to explicitly state and test design requirements. The contract is used to define the obligations and benefits of program elements such as subroutines and classes.
Open-source | Not defined |