标题：从形式化式样出发的实时控制软件开发
作者：齐学智 陈金水
作者单位：浙江大学现代控制研究所（３１００２７）
关键字：形式化语言，VDM-SL，控制软件
摘要：形式化语言能够对软件的功能进行精确的描述，在实时控制软件中引入形式化语言描述是必要的也是可能的。本文介绍了形式化式样语言VDM-SL Vienna Development Method-Specification Language，用VDM-SL给出了一个小型控制软件的形式化描述。基于形式化式样描述，提出了从形式化式样出发的控制软件开发。最后就形式化语言应用于软件描述的前景进行了分析，同时指出了形式化语言和工具的不足。