publisher of Formal ontologies and data shapes within the Software Engineering development lifecycle. 64-93. 2019
