FocusST的时空特征
软件工程
2016-10-26 v1 计算机科学中的逻辑
摘要
在本技术报告中，我们总结了FocusST规范框架的时空特征并介绍了其核心算子。我们给出了这些算子的总体思想，使用蒸汽锅炉系统示例来说明该规范框架如何应用。FocusST的灵感来自Focus，一个用于交互式系统形式化规范与开发的框架。与Focus不同，FocusST致力于指定和分析系统的空间(S)与时间(T)方面，这也反映在框架名称中：扩展名ST突出了规范的时空性质。
引用
@article{arxiv.1610.07884,
title = {Spatio-temporal features of FocusST},
author = {Maria Spichkova},
journal= {arXiv preprint arXiv:1610.07884},
year = {2016}
}