Configurable Formal Methods for Extreme Modeling - Inria - Institut national de recherche en sciences et technologies du numérique
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 : mardi 27 août 2024-12:45:24

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

EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
429 Consultations
112 Téléchargements

Partager

More