Rewriting of Requirements Analysis and Analysis