Formal Methods Meet Domain Specific Languages

Jean-Paul Bodeveix 1 Mamoun Filali 1 Julia Lawall 2 Gilles Muller 3, 4
1 IRIT - Institut de recherche en informatique de Toulouse
2 Department of Computer Science
3 LINA - Laboratoire d'Informatique de Nantes Atlantique
4 OBASCO - Objects, aspects and components
Mines Nantes - Mines Nantes, Inria Rennes – Bretagne Atlantique
Résumé : no abstract
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-00457182
Contributor : Ls2n Hal <>
Submitted on : Tuesday, February 16, 2010 - 5:17:10 PM
Last modification on : Thursday, October 24, 2019 - 2:44:06 PM

Identifiers

  • HAL Id : hal-00457182, version 1

Collections

CNRS | UNIV-NANTES | LINA | INRIA | UNIV-TLSE2 | INFO | SMS | IMT-ATLANTIQUE | UNIV-TLSE3 | UT1-CAPITOLE

Citation

Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller. Formal Methods Meet Domain Specific Languages. The 5th International Conference on Integrated Formal Methods, 2005, Eindhoven, The Netherlands, Netherlands. pp.187-206. ⟨hal-00457182⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

530

CONTACT

scd.ao@univ-tlse3.fr