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...
Main Authors: | , |
---|---|
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 |