Specifying requirements for methods