menu

Alloy: A Language and Tool for Exploring Software Designs

Jackson, Daniel

PDF

Exploiting a simple, expressive logic based on relations to describe designs and automate their analysis.


@article{jackson:cacm19-alloy,
  address = {New York, NY, USA},
  author = {Jackson, Daniel},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  issn = {0001-0782},
  issue_date = {September 2019},
  journal = {Commun. ACM},
  month = aug,
  number = {9},
  numpages = {11},
  pages = {66--76},
  publisher = {Association for Computing Machinery},
  title = {Alloy: A Language and Tool for Exploring Software Designs},
  volume = {62},
  year = {2019},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAgcGFwZXJzL2phY2tzb25jYWNtMTktYWxsb3ktYS5wZGZPEQGMAAAAAAGMAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8ZamFja3NvbmNhY20xOS1hbGxveS1hLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAABAAMAAAogY3UAAAAAAAAAAAAAAAAABnBhcGVycwACAD8vOlVzZXJzOmdhbWJsaW4yOnNyYzpidWlsZC1iaWI6cGFwZXJzOmphY2tzb25jYWNtMTktYWxsb3ktYS5wZGYAAA4ANAAZAGoAYQBjAGsAcwBvAG4AYwBhAGMAbQAxADkALQBhAGwAbABvAHkALQBhAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgA9VXNlcnMvZ2FtYmxpbjIvc3JjL2J1aWxkLWJpYi9wYXBlcnMvamFja3NvbmNhY20xOS1hbGxveS1hLnBkZgAAEwABLwAAFQACAA///wAAAAgADQAaACQARwAAAAAAAAIBAAAAAAAAAAUAAAAAAAAAAAAAAAAAAAHX},
  bdsk-url-1 = {https://doi.org/10.1145/3338843}
}

Top