A Feasibility Study on Using Classifying Terms in Alloy

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]

Authors

Robert Clarisó

This author has not been identified. Look up 'Robert Clarisó' in Google

Martin Gogolla

This author has not been identified. It may be one of the following persons: Look up 'Martin Gogolla' in Google