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