Top "Design-by-contract" questions

Library to facilitate the use of the "design by contract" principle

Is there any library that aids in implementing the design by contract principle in a C++ application? In particular, I'm …

c++ design-by-contract

Should JSON RESTful web services use data contract

This is actually a design question. I'm wondering if Spring3.0 REST web services that carries JSON payload provide some kind …

web-services json rest spring-mvc design-by-contract

Programming by contracts in PHP

Programming by contracts is a modern trend in .NET, but what about libraries/frameworks for code contracts in PHP? What …

php design-patterns code-contracts design-by-contract

why using 'assert' in a project? (and why using it so many times)

i was reading through the sample code ListAdder, and there are many asserts right after the variable, or used in …

objective-c assert design-by-contract

When to add a precondition and when to (only) throw an exception?

I am learning about preconditions and when to use them. I have been told that the precondition @pre fileName must …

java file exception design-by-contract preconditions

Java: clean way to automatically throw UnsupportedOperationException when calling hashCode() and equals()?

We've got an OO codebase where in quite a lot of cases hashcode() and equals() simply don't work, mostly for …

java equals design-by-contract