Metamodel-based model conformance and multiview consistency checking

Paige, Richard F. orcid.org/0000-0002-1978-9852, 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

Abstract

Metadata

Authors/Creators:
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. http://doi.acm.org/10.1145/1243987.1243989
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: http://dx.doi.org/10.1145/1243987.1243989
Status: Published
Refereed: Yes

Download

Filename: Paige_2007_Metamodel.pdf

Description: Paige_2007_Metamodel.pdf

Share / Export