Using Alloy to model-check visual design notations

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

Authors/Creators:
  • Simons, A.J.H.
  • Fernandez, C.A.F.Y.
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: 02 Nov 2016 08:01
Published Version: http://dx.doi.org/10.1109/ENC.2005.52
Status: Published
Publisher: ACM
Refereed: Yes
Identification Number: https://doi.org/10.1109/ENC.2005.52

Share / Export

Statistics