Add requirement specification