Search
Now showing items 1-10 of 1750
UML Profile for Mining Process: Supporting Modeling and Simulation Based on Metamodels of Activity Diagram
(Hindawi Publishing Corporation, 2014-02-04)
An UML profile describes lightweight extension mechanism to the UML by defining custom stereotypes, tagged values, and constraints. They are used to adapt UML metamodel to different platforms and domains. In this paper we ...
Extended UML stratecharts and product lines
(Universidad ORT Uruguay. Facultad de Ingeniería, 2009)
"The study of variability in software development has become increasingly important in recent years. The research areas in which this is involved range from software specialization to product lines. A common mechanism to ...
Aspect-oriented modeling: Applying aspecs-oriented UML use cases and extending aspects-z
(SLOVAK ACAD SCIENCES INST INFORMATICS, DUBRAVSKA CESTA 9, 84237 BRATISLAVA, SLOVAKIA, 2013)
A Spin / Promela Application for Model checking UML Sequence Diagrams
(2018)
UML sequence diagrams usually represent the behavior of systems execution. Automated verification of UML sequence diagrams’ correctness is necessary because they can model critical algorithmic behaviors of information ...
Vista UML para XSCORE XJAVA 2 UML
(Bogotá - UniandesIngeniería de Sistemas y ComputaciónFacultad de IngenieríaDepartamento de Ingeniería de Sistemas y Computación, 2004)