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
Dates:
  • Published: July 2007
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
FunderGrant number
EPSRCEP/E034853/1
Depositing User: Ms Diana Hilmer
Date Deposited: 24 Aug 2007 13:23
Last Modified: 06 Dec 2023 10:39
Published Version: https://doi.org/10.1145/1243987.1243989
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1145/1243987.1243989
Related URLs:

Download

Filename: Paige_2007_Metamodel.pdf

Description: Paige_2007_Metamodel.pdf

Export

Statistics