Configurable Formal Methods for Extreme Modeling

Fahrenberg, Uli;Legay, Axel
(2014) XM@MoDELS (September.2014)

Files

No attached file found for this publication.

Details

Authors
  • Fahrenberg, Uli
    Author
  • Legay, AxelUCLouvain
    Author
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.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Fahrenberg, U., & Legay, A. (2014). Configurable Formal Methods for Extreme Modeling. XM@MoDELS. https://hdl.handle.net/2078.5/173077