VDM-SL相关论文
论文以一个销售管理系统形式化建模为例,考察了采用形式化方法的适用性原则并探讨了存在的问题。通过遵循试验证明,所提议的规则可......
形式化语言能够对软件的功能进行精确的描述,在实时控制软件中引入形式化语言描述是必要的也是可能的.本文介绍了形式化式样语言VD......