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

  1. Pérez, B.
  2. Porres, I.
Journal:
Information Systems

ISSN: 0306-4379

Year of publication: 2019

Volume: 81

Pages: 152-177

Type: Article

DOI: 10.1016/J.IS.2018.08.005 GOOGLE SCHOLAR
Institutional repository: lock_openOpen access Preprint lockOpen access Editor

Sustainable development goals