A Tooled Approach for Designing Executable and Verifiable Modeling Languages - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier

Documentation
Français (FR)

Anglais (EN)

Article Dans Une Revue INSIGHT - International Council on Systems Engineering (INCOSE) Année : 2015

A Tooled Approach for Designing Executable and Verifiable Modeling Languages

(1) , (1) , (2) , (1)

1
2

Blazo Nastov

Fonction : Auteur
PersonId : 10009
IdHAL : blazo-nastov
ORCID : 0000-0002-2259-9400
IdRef : 226587002

Laboratoire de Génie Informatique et Ingénierie de Production

Vincent Chapurlat

Fonction : Auteur
PersonId : 13551
IdHAL : vincent-chapurlat
ORCID : 0000-0001-8513-9471
IdRef : 106944231

Laboratoire de Génie Informatique et Ingénierie de Production

Christophe Dony

Fonction : Auteur
PersonId : 22055
IdHAL : christophe-dony
IdRef : 048655198

Models And Reuse Engineering, Languages

François Pfister

Fonction : Auteur
PersonId : 900055

Laboratoire de Génie Informatique et Ingénierie de Production

Domaines

Modélisation et simulation Génie logiciel [cs.SE]

Blazo Nastov : Connectez-vous pour contacter le contributeur

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01377586

Soumis le : vendredi 7 octobre 2016-11:20:43

Dernière modification le : vendredi 24 mars 2023-14:53:02

Dates et versions

lirmm-01377586 , version 1 (07-10-2016)

Identifiants

HAL Id : lirmm-01377586 , version 1
DOI : 10.1002/inst.12059

Citer

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), 2015, 18 (4), pp.31-33. ⟨10.1002/inst.12059⟩. ⟨lirmm-01377586⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM CNRS EM-ALES MAREL LIRMM TDS-MACS MIPS UNIV-MONTPELLIER

139 Consultations

0 Téléchargements

Altmetric

Partager