Eiffel Software applied for trademark registration for Design by Contract in December 2003, and it was granted in December 2004.
Eiffel Software haki menetelmän englanninkieliselle nimelle ”Design by Contract” tavaramerkkisuojaa joulukuussa 2003, ja se myönnettiin joulukuussa 2004.