Concurrent Contracts for Java in JMLConcurrent Contracts for Java in JML • April 27th, 2008
Design by Contract (DbC) is a software development methodology that makes use of assertions to produce better quality object-oriented software. The idea behind DbC is that a method defines a contract stating the requirements a client needs to fulfill to use it, the precondition, and the properties it ensures after its execution, the postcondition.
