参考答案：

这是一种使要求说明过程自动化的技术，通过可执行的规格说明语言来描述预期的行为“做什么”，人们可以从直接观察中用规格说明语言来规定任何系统行为。