使用K框架进行包过滤语言形式化规范的工业经验报告
编程语言
2017-01-31 v1 软件工程
摘要
许多特定于项目的语言，尤其包括过滤语言，是使用自然语言编写的非形式化规范来定义的。这导致这些语言规范中的歧义与错误。本文报告了一项工业实验，该实验使用工具支持的语言规范框架（K）对具有与现实项目相似复杂性的过滤语言的语法和语义进行形式化规范。该实验旨在特定工业环境下，评估使用工具支持的形式化方法对包过滤语言进行形式化规范的难度与益处。
引用
@article{arxiv.1701.08467,
title = {Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework},
author = {Gurvan Le Guernic and Benoit Combemale and José A. Galindo},
journal= {arXiv preprint arXiv:1701.08467},
year = {2017}
}
备注
In Proceedings F-IDE 2016, arXiv:1701.07925