Skip to Main content Skip to Navigation
Journal articles

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
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01377586
Contributor : Blazo Nastov <>
Submitted on : Friday, October 7, 2016 - 11:20:43 AM
Last modification on : Tuesday, February 18, 2020 - 9:42:03 AM

Links full text

Identifiers

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. ⟨10.1002/inst.12059⟩. ⟨lirmm-01377586⟩

Share

Metrics

Record views

226