计算机软件研究的基本内容主要有软件语言、软件方法学、软件工程以及软件系统等。

软件语言：用以书写软件的语言。可分为需求级语言、功能级语言、设计级语言、实现级语言和文档语言。需求级语言用以书写软件需求定义，又称需求定义语言，目前多数仍是非形式的语言或半形式的语言；功能级语言用以书写软件功能规约，又称功能规约语言，可以是形式的，也可以是非形式的；设计级语言用以书写软件设计规约，又称设计规约语言，一般是形式的；实现级语言用以书写实现算法，相对说来，较为成熟，低级语言、古典高级语言从FORTRAN 、ALGOL、COBOL、PASCAL、C ，直到Ada均属此类；文档语言用以书写文档，目前一般是非形式的。

软件方法学：软件开发全过程的指导原则与方法体系。其另一种含义是以软件方法为研究对象的学科。从开发风格上看，软件方法有自顶向下的开发方法和自底向上的开发方法。在实际软件开发中，大都是自顶向下与自底向上两种方法的结合，只不过是以何者为主而已。从性质上看，有形式方法与非形式方法。形式方法是一种具有坚实数学基础的方法，从而允许对系统和开发过程进行最严格处理和论证。非形式方法则不把严格性作为其主要着眼点。从使用范围上看，有整体性方法与局部性方法，适用于软件开发全过程的是整体性方法，只适用开发过程个别阶段的为局部性方法。

软件工程：应用计算机科学、数学以及管理科学原理，以工程化方法制作软件的工程，是一门交叉性的学科。

软件系统：是指由系统软件、支撑软件和应用软件组成的计算机软件系统。