Repositorio de producción científica de la Universidad de Sevilla

Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

Opened Access Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

Citas

buscar en

Estadísticas
Icon
Exportar a
Autor: Le Guernic, Gurvan
Combemale, Benoit
Galindo Duarte, José Ángel
Departamento: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Fecha: 2016
Publicado en: F-IDE 2016 : Third Workshop on Formal Integrated Development Environment (2016), p 38-52
ISBN/ISSN:
Tipo de documento: Ponencia
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 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..
Tamaño: 722.9Kb
Formato: PDF

URI: http://hdl.handle.net/11441/62670

DOI: 10.4204/EPTCS.240.3

Ver versión del editor

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones