软件工程学科理论涉及的几个基本概念