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: | Rahim, Lukman Ab |
---|---|
Published: |
Lancaster University
2012
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.659451 |
Similar Items
-
The Formal Semantics of Computer Languages and their Implementations
by: Milne, R.
Published: (1974) -
Semantic web rule language for geospatial domains
by: Smart, Philip David
Published: (2009) -
A user modelling approach to computer based advice generation
by: Lewis, John Michael
Published: (1990) -
Dynamic feedback generation in virtual patients using semantic web technologies
by: Duboc, Jean-Remy
Published: (2013) -
Providing a formal linkage between MDG and HOL based on a verified MDG system
by: Xiong, Haiyan
Published: (2002)