Using formal metamodels to check consistency of functional views in information systems specification

Laleau, Regine and Polack, Fiona orcid.org/0000-0001-7954-6433 (2008) Using formal metamodels to check consistency of functional views in information systems specification. Information and Software Technology. pp. 797-814. ISSN 0950-5849

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2007 Elsevier B.V. This is an author produced version of a paper published in Information and Software Technology. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: information system design, unified modelling language notation, metamodel, formal notation, UML
Dates:
  • Published: June 2008
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Sherpa Assistant
Date Deposited: 07 Jul 2008 08:16
Last Modified: 06 Dec 2023 10:39
Published Version: https://doi.org/10.1016/j.infsof.2007.10.007
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.infsof.2007.10.007
Related URLs:

Download

Filename: polackf1.pdf

Description: polackf1.pdf

Export

Statistics