程序语言的工程特性主要表现为可移植性、（）、软件的可重用性和可维护性。