This chapter goes into the technical details of object-oriented requirements, illustrated in the Eiffel Language. Object-oriented requirements structure the system description around types of objects manipulated by the system, which are captured by classes equipped with contracts (preconditions, postconditions, and class invariants). The chapter devises how to produce OO requirements (covering functional and behavioral specifications) and ensure requirements traceability.