Object oriented requirements specification