Metamodel-based model conformance and multiview consistency checking

Paige, Richard F., Brooke, Phillip J. and Ostroff, Jonathan S. (2007) Metamodel-based model conformance and multiview consistency checking. ACM Transactions on Software Engineering and Methodology. 11. B1-B49. ISSN 1049-331X



Copyright, Publisher and Additional Information: © 2007 ACM. This is the author’s version of the work. It is posted here by permission of the ACM for your personal use. Not for redistribution. The definitive version was published in ACM TOSEM 16(3), July 2007.
Keywords: Design Tools and Techniques—Object-oriented design methods Design,Languages,Verification Metamodelling,multi-view consistency,formal methods,automated verification
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: Ms Diana Hilmer
Date Deposited: 24 Aug 2007 13:23
Last Modified: 11 Sep 2016 00:01
Published Version:
Status: Published
Refereed: Yes


Filename: Paige_2007_Metamodel.pdf

Description: Paige_2007_Metamodel.pdf

Share / Export