definition (generating requirements specification)