Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages. (Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL)

Frédéric Tuong. Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages. (Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL). PhD thesis, University of Paris-Saclay, France, 2016. [doi]

Abstract

Abstract is missing.