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
  • Published: July 2007
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Ms Diana Hilmer
Date Deposited: 24 Aug 2007 13:23
Last Modified: 07 Sep 2022 09:02
Published Version:
Status: Published
Refereed: Yes
Identification Number:
Related URLs:


Filename: Paige_2007_Metamodel.pdf

Description: Paige_2007_Metamodel.pdf

Share / Export