软件是一种逻辑产品,它的开发主要是()