Abstract: Since the emergence of GPT-3, Large Language Models (LLMs) have caught the eyes of researchers, practitioners, and educators in the field of software engineering. However, there has been ...

Abstract: Although Object Management Group (OMG) Unified Modeling Language (UML) introduced Object Constraint Language (OCL) to add formalism as constraints in its models, it still lacks formal ...