Petter's Random Thoughts on Software: Design by Contract