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

Documentation
French (FR)

English (EN)

Journal Articles INSIGHT - International Council on Systems Engineering (INCOSE) Year : 2015

A Tooled Approach for Designing Executable and Verifiable Modeling Languages

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

1
2

Blazo Nastov

Function : Author
PersonId : 10009
IdHAL : blazo-nastov
ORCID : 0000-0002-2259-9400
IdRef : 226587002

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

Vincent Chapurlat

Function : Author
PersonId : 13551
IdHAL : vincent-chapurlat
ORCID : 0000-0001-8513-9471
IdRef : 106944231

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

Christophe Dony

Function : Author
PersonId : 22055
IdHAL : christophe-dony
IdRef : 048655198

Models And Reuse Engineering, Languages

François Pfister

Function : Author
PersonId : 900055

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

Domains

Modeling and Simulation Software Engineering [cs.SE]

Blazo Nastov : Connect in order to contact the contributor

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

Submitted on : Friday, October 7, 2016-11:20:43 AM

Last modification on : Tuesday, September 17, 2024-4:03:23 PM

Dates and versions

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

Identifiers

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

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

159 View

0 Download

Altmetric

Share