Robert Clarisó, Martin Gogolla. A Feasibility Study on Using Classifying Terms in Alloy. In Achim D. Brucker, Gwendal Daniel, Frédéric Jouault, editors, 19th International Workshop in OCL and Textual Modeling (OCL 2019) co-located with IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Munich, Germany, September 16, 2019. Volume 2513 of CEUR Workshop Proceedings, pages 45-58, CEUR-WS.org, 2019. [doi]
Abstract is missing.