×

通过利用OO设计中的层来规范和验证不变量。 (英语) Zbl 1167.68382号

摘要:在当前对不变量的解释中,没有考虑到许多OO设计中存在的分层。我们建议在规范中明确层,并引入利用这些层的不变量的新解释。此外,我们还提出了一种完善的模块化技术来静态验证程序是否满足新的解释。

MSC公司:

60年第68季度 规范和验证(程序逻辑、模型检查等)
第68页第19页 其他编程范式(面向对象、顺序、并发、自动等)
PDF格式BibTeX公司 XML格式引用