I am currently reading up to understand more about Design By contract to write a report and i found this tool interestesting. I will also like to gather more information and views from people from this forum
As from what i know, it is to write contracts (Invariants, Pre and Post conditions) to ensure that the codes can be maintain orderly. It will also guarantees that bugs will be prevented by a well defined mechanism based on checks and balances
But wouldnt this implicated the software performance? As there are additional checks between each method calls.
Thank you in Advnace :D