Ponencia
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
Autor/es | Le Guernic, Gurvan
Combemale, Benoit Galindo Duarte, José Ángel |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2016 |
Fecha de depósito | 2017-07-19 |
Publicado en |
|
ISBN/ISSN | 2075-2180 |
Resumen | Many project-specific languages, including in particular filtering languages, are defined using nonformal
specifications written in natural languages. This leads to ambiguities and errors in the specification
of those ... Many project-specific languages, including in particular filtering languages, are defined using nonformal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper reports on an industrial experiment on using a tool-supported language specification framework (K) for the formal specification of the syntax and semantics of a filtering language having a complexity similar to those of real-life projects. This experimentation aims at estimating, in a specific industrial setting, the difficulty and benefits of formally specifying a packet filtering language using a tool-supported formal approach. |
Cita | Le Guernic, G., Combemale, B. y Galindo Duarte, J.Á. (2016). Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. En F-IDE 2016 : Third Workshop on Formal Integrated Development Environment (38-52), Limassol, Cyprus: Open Publishing Association.. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Industrial Experience Report.pdf | 722.9Kb | [PDF] | Ver/ | |