IMCAT : an approach for verifying model-based code generators for conformance to source modelling language semantics
Model transformations are programs that generate models or code from models. When model transformations are used in software development, the correctness of these programs is very important, thus , they need to be verified. Verifying model transformations is even more important when model transforma...
| Main Author: | |
|---|---|
| Published: |
Lancaster University
2012
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.659451 |