| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [29 references]
https://hal.inria.fr/hal-01087370
Contributor : Uli Fahrenberg Connect in order to contact the contributor
Submitted on : Tuesday, November 25, 2014 - 10:03:01 PM
Last modification on : Wednesday, February 2, 2022 - 3:50:48 PM
Long-term archiving on: : Thursday, February 26, 2015 - 12:35:23 PM
Contributor : Uli Fahrenberg Connect in order to contact the contributor
Submitted on : Tuesday, November 25, 2014 - 10:03:01 PM
Last modification on : Wednesday, February 2, 2022 - 3:50:48 PM
Long-term archiving on: : Thursday, February 26, 2015 - 12:35:23 PM
File
final-pre.pdf
Files produced by the author(s)