Design by Contract for Web Services
Tuesday, December 20th, 2005
Contracts are important for Web services. Design by contract (DBC) is nothing
new, but, unfortunately, formal precondition and postcondition specifications
have never become mainstream, at least not in the way they were presented by
Bertrand Mayer in Object
Oriented Software Construction.
However, with the advent of Web services, I think it‘s time to re-introduce
DBC
to the […]