dc.creator | Le Guernic, Gurvan | es |
dc.creator | Combemale, Benoit | es |
dc.creator | Galindo Duarte, José Ángel | es |
dc.date.accessioned | 2017-07-19T10:53:17Z | |
dc.date.available | 2017-07-19T10:53:17Z | |
dc.date.issued | 2016 | |
dc.identifier.citation | 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.. | |
dc.identifier.issn | 2075-2180 | es |
dc.identifier.uri | http://hdl.handle.net/11441/62670 | |
dc.description.abstract | 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. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Open Publishing Association. | es |
dc.relation.ispartof | F-IDE 2016 : Third Workshop on Formal Integrated Development Environment (2016), p 38-52 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.publisherversion | https://arxiv.org/abs/1701.08467 | es |
dc.identifier.doi | 10.4204/EPTCS.240.3 | es |
idus.format.extent | 15 | es |
dc.publication.initialPage | 38 | es |
dc.publication.endPage | 52 | es |
dc.eventtitle | F-IDE 2016 : Third Workshop on Formal Integrated Development Environment | es |
dc.eventinstitution | Limassol, Cyprus | es |
dc.relation.publicationplace | Waterloo, Australia | es |