Configurable Formal Methods for Extreme Modeling - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Configurable Formal Methods for Extreme Modeling

Résumé

Reliable model transformations are essential for agile modeling. We propose to employ a configurable-semantics approach to develop automatic model transformations which are correct by design and can be integrated smoothly into existing tools and work flows.

Domaines

Informatique [cs] Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
final-pre.pdf (238.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Uli Fahrenberg  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01087370

Soumis le : mardi 25 novembre 2014-22:03:01

Dernière modification le : vendredi 24 mars 2023-14:52:59

Archivage à long terme le : jeudi 26 février 2015-12:35:23

Télécharger pour visualiser

Dates et versions

hal-01087370 , version 1 (25-11-2014)

Identifiants

  • HAL Id : hal-01087370 , version 1

Citer

Uli Fahrenberg, Axel Legay. Configurable Formal Methods for Extreme Modeling. XM@MoDELS, Sep 2014, Valencia, Spain. ⟨hal-01087370⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
425 Consultations
109 Téléchargements

Partager

Gmail Facebook X LinkedIn More