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,Information Systems,Software
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: Sherpa Assistant
Date Deposited: 07 Jul 2008 08:16
Last Modified: 28 Jul 2016 07:58
Published Version: http://dx.doi.org/10.1016/j.infsof.2007.10.007
Status: Published
Refereed: Yes
Related URLs:

Download

Filename: polackf1.pdf

Description: polackf1.pdf

Share / Export