![](/img/cover-not-exists.png)
$$\hbox {OCL}_\textsf {FO}$$OCLFO: first-order expressive OCL constraints for efficient integrity checking
Franconi, Enrico, Mosca, Alessandro, Oriol, Xavier, Rull, Guillem, Teniente, ErnestLanguage:
english
Journal:
Software & Systems Modeling
DOI:
10.1007/s10270-018-0688-z
Date:
August, 2018
File:
PDF, 2.19 MB
english, 2018