Correct-by-construction synthesis of model transformations using transformation patterns.
| Autor: | Lano, K.1 klano@hotmail.com, Kolahdouz-Rahimi, S.1, Poernomo, I.1, Terrell, J.1, Zschaler, S.1 |
|---|---|
| Zdroj: | Software & Systems Modeling. May2014, Vol. 13 Issue 2, p873-907. 35p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|