- idUS
- Listar por autor
Listar por autor "Le Guernic, Gurvan"
Mostrando ítems 1-2 de 2
-
Ponencia
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
Le Guernic, Gurvan; Combemale, Benoit; Galindo Duarte, José Ángel (Open Publishing Association., 2016)Many project-specific languages, including in particular filtering languages, are defined using nonformal specifications ...
-
Ponencia
Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages
Méndez Acuña, David; Galindo Duarte, José Ángel; Combemale, Benoit; Blouin, Arnaud; Baudry, Benoit; Le Guernic, Gurvan (Springer, 2016)The use of domain-specific languages (DSLs) has become a successful technique in the development of complex systems. ...