1.需求定义语言：是用于书写软件需求定义的语言。例如：PSL/PSA。
2.功能性语言：是用于书写软件功能规约的语言，通常又称为功能规约语言。例如：广谱语言、Z语言。
3.设计性语言：是用于书写软件设计规约的语言。例如：PDL。
4.实现性语言：也称为程序设计语言，是用于书写计算机程序的语言。例如：C、java、PROLOG、FORTRAN、COBOL、Modula。
5.文档语言：是用于书写软件文档的语言。通常用自然语言或半形式化语言书写。