Formal ontologies and data shapes within the Software Engineering development lifecycle | Publicación