Using Alloy to model-check visual design notations

This is the latest version of this eprint.

Simons, A.J.H. and Fernandez, C.A.F.Y. (2005) Using Alloy to model-check visual design notations. In: EstivillCastro, V. and Sanchez, J.A., (eds.) Proceeding ENC '05 Proceedings of the Sixth Mexican International Conference on Computer Science. Sixth Mexican International Conference on Computer Science, Sep 26-30, 2005, Puebla, Mexico. ACM , pp. 121-128. ISBN 0-7695-2454-0

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
  • Simons, A.J.H.
  • Fernandez, C.A.F.Y.
Editors:
  • EstivillCastro, V.
  • Sanchez, J.A.
Copyright, Publisher and Additional Information:

© 2005 IEEE Computer Society. This is an author produced version of a paper subsequently published in Proceeding ENC '05 Proceedings of the Sixth Mexican International Conference on Computer Science. Uploaded in accordance with the publisher's self-archiving policy.

Keywords: formal specification; model checking; Alloy; visual modelling; UML
Dates:
  • Published: 2005
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 16 Aug 2016 13:43
Last Modified: 29 Jun 2023 16:54
Published Version: http://dx.doi.org/10.1109/ENC.2005.52
Status: Published
Publisher: ACM
Refereed: Yes
Identification Number: 10.1109/ENC.2005.52
Open Archives Initiative ID (OAI ID):

Available Versions of this Item

Export

Statistics


CORE (COnnecting REpositories)