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.
Origin : Files produced by the author(s)
Loading...