从形式化式样出发的实时控制软件开发 |
| |
引用本文: | 齐学智,陈金水.从形式化式样出发的实时控制软件开发[J].工业控制计算机,2004,17(8):28-29,46. |
| |
作者姓名: | 齐学智 陈金水 |
| |
作者单位: | 浙江大学现代控制研究所,310027 |
| |
摘 要: | 形式化语言能够对软件的功能进行精确的描述,在实时控制软件中引入形式化语言描述是必要的也是可能的本文介绍了形式化式样语言VDM-SL(Vienna Development Method-Specification Language),用VDM-SL给出了一个小型控制软件的形式化描述。基于形式化式样描述,提出了从形式化式样出发的控制软件开发最后就形式化语言应用于软件描述的前景进行了分析,同时指出了形式化语言和工具的不足。
|
关 键 词: | 形式化语言 实时控制软件 VDM-SL 数据采集器 |
Real-time Control Software's Programming From Formal Specification |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|