在软件生命周期中，将某种形式表示的软件转换成更高抽象形式表示的软件的活动属于( ...