Buscar
Mostrando ítems 21-30 de 69
A CASE tool for the modeling of methods and information systems
(Springer, 2014)
From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2013)
Specification of behavioral anti-patterns for the verification of block-structured Collaborative Business Processes
(Elsevier Science, 2016-07)
Context: The verification of the control flow of a Collaborative Business Process (CBP) is important when developing cross-organizational systems, since the control flow defines the behavior of the cross-organizational ...
Propuesta para el manejo de restricciones en modelos de clases usando atom3
(Universidad del Norte, 2013)