A Tooled Approach for Designing Executable and Verifiable Modeling Languages

Blazo Nastov 1 Vincent Chapurlat 1 Christophe Dony 2 François Pfister 3
2 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
3 ISOE-LGI2P - Interoperable System & Organization Engineering
LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
Type de document :
Article dans une revue
INSIGHT - International Council on Systems Engineering (INCOSE), Wiley, 2015, 18 (4), pp.31-33. 〈http://onlinelibrary.wiley.com/〉. 〈10.1002/inst.12059〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01377586
Contributeur : Blazo Nastov <>
Soumis le : vendredi 7 octobre 2016 - 11:20:43
Dernière modification le : jeudi 24 mai 2018 - 15:59:22

Lien texte intégral

Identifiants

Citation

Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister. A Tooled Approach for Designing Executable and Verifiable Modeling Languages. INSIGHT - International Council on Systems Engineering (INCOSE), Wiley, 2015, 18 (4), pp.31-33. 〈http://onlinelibrary.wiley.com/〉. 〈10.1002/inst.12059〉. 〈lirmm-01377586〉

Partager

Métriques

Consultations de la notice

113