13.3 软件的具体实现