软件是（）的总称。它着重研究如何（）和（）的问题。