设计性语言

设计性语言是软件语言重要组成成分之一。设计性语言用以书写软件设计规约。软件设计规约是软件设计的严格而完整的陈述。一方面，它是软件功能规约的算法性的细化，刻画了软件“如何做”的内部算法；另一方面，它又是软件实现的依据。前者刻画设计的总体架构;后者刻画详尽实现细节。这两种设计规约一般都是用形式体系刻画的，亦即，都是形式化的。设计性语言的发展已相对成熟，并已用于软件工程实践。