填空題軟件設(shè)計階段,是把軟件“()”的邏輯模型變換為“()”的物理模型。