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 > Computer Science (York)
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: 01 Oct 2017 18:14
Published Version: http://dx.doi.org/10.1145/1243987.1243989
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1145/1243987.1243989

Download

Filename: Paige_2007_Metamodel.pdf

Description: Paige_2007_Metamodel.pdf

Share / Export

Statistics