A feasibility study on using classifying terms in alloy

  1. Clarisó, R.
  2. Gogolla, M.
Proceedings:
CEUR Workshop Proceedings

ISSN: 1613-0073

Year of publication: 2019

OCL 2019 - 19th International Workshop in OCL and Textual Modeling, co-located with IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems, MODELS 2019

Volume: 2513

Pages: 45-57

Type: Conference paper