分析已有的程序，寻求比源代码更高级的抽象表现形式，这就是软件的（）。