Using Alloy to model-check visual design notations

Warning

There is a more recent version of this eprint available. Click here to view it.

This is a preprint and may not have undergone formal peer review

Simons, A.J.H. orcid.org/0000-0002-5925-7148 and Fernandez, C.A.F. (Submitted: 2008) Using Alloy to model-check visual design notations. [Preprint - arXiv] (Submitted)

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2008 The Author(s). For reuse permissions, please contact the Author(s).
Dates:
  • Submitted: 15 February 2008
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: 29 Jun 2023 16:53
Last Modified: 29 Jun 2023 16:53
Status: Submitted
Refereed: Yes
Identification Number: https://doi.org/10.48550/arXiv.0802.2258
Related URLs:

Available Versions of this Item

Export

Statistics


CORE (COnnecting REpositories)