ListarLCC - Contribuciones a congresos científicos por tema "UML (Informática)"
Mostrando ítems 1-2 de 2
-
Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams
(2019-09-20)This paper presents the extension of a UML and OCL tool that enables the textual specification of UML sequence diagrams, and the automated generation of all valid behaviors according to these sequence diagrams. Message ... -
On Softening OCL Invariants
(Association Internationale pour les Technologies Objets (AITO), 2019-09-23)Invariants play a crucial role in system development. This contribution focuses on invariants in systems with so-called occurrence uncertainty, where we are interested in deciding whether a certain population (a set of ...