Principles of Design Contract