Reasoning about UML/OCL class diagrams using constraint logic programming and formula

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Beatriz Pérez, Ivan Porres

Journal title: Information Systems

Journal number: 81

Journal publisher: Elsevier Science & Technology

Published year: 2019

Published pages: 152-177

DOI identifier: 10.1016/j.is.2018.08.005

ISSN: 0306-4379