The requirements specification