Configurable Formal Methods for Extreme Modeling - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Configurable Formal Methods for Extreme Modeling

Abstract

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.
Fichier principal
Vignette du fichier
final-pre.pdf (238.01 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01087370 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More