软件语言是指用于书写计算机软件的语言。它主要包括需求定义语言、功能性语言、设计性语言、程序设计语言和文档

语言等。( )就是一种典型的设计性语言，常用于详细设计。( )语言是一种功能性语言，它是以( )理论为基础的一种规约语言。程序设计语言用于书写计算机程序，它包含语法、语义和( )三个方面。程序设计语言又可分为过程式语言和非过程式语言，如( )就是典型的非过程式语言。

供选择的答案：