要求仕様における無矛盾性と追跡可能性に関する 品質保証を目的とした