Especificación formal en OCL de reglas de consistencia entre los diagramas de clases y casos de uso de UML y el modelo de interfaces Formal OCL specification of consistency rules between the UML class and the use case models and the interfaces model

En el ciclo de vida del software, durante las fases de definición y análisis, se realiza una especificación de los requisitos. Para ello, es necesario realizar un proceso de captura de las necesidades y expectativas de los interesados, que se traduce posteriormente en un conjunto de modelos que repr...

Full description

Bibliographic Details
Main Authors: Carlos Mario Zapata, Guillermo González
Format: Article
Language:English
Published: Universidad de Medellín 2008-01-01
Series:Revista Ingenierías Universidad de Medellín
Subjects:
Online Access:http://www.scielo.org.co/scielo.php?script=sci_arttext&pid=S1692-33242008000100010