Pons, Claudia Fabiana <br/><br/>
Revealing undercover refinement in UML modeling 

 - ^p Datos electrónicos (1 archivo : 431 KB) .
<br/><br/> Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Formato de archivo: PDF. -- Disponible también en línea (Cons. 3/04/2008) 
<br/><br/> En el lenguaje UML existe un artefacto llamado "Abstraction" que permite la documentación explicita de la relación de abstracción/refinamiento entre modelos. Sin embargo, numerosas variantes de esta relación permanecen ocultas detrás de otras notaciones. El punto de partida para rastrear requerimientos a través de los pasos de refinamiento definidos en el modelo, es descubrir y capturar precisamente las distintas formas de la relación de abstracción/refinamiento, en particular aquellas formas que están ocultas en el modelo. En este articulo describimos formalmente varias formas de refinamiento encubierto y presentamos a PAMPERO, una herramienta de software integrada en el ambiente Eclipse, basada en la  definición formal de refinamiento. La herramienta soporta la documentación de refinamientos explícitos y además permite descubrir y documentar refinamientos ocultos  semi-automáticamente. -- Palabras claves: Refinamientos, Lenguajes de Modelado, Unified Modeling Language, UML, Traceability, Herramientas Case. 
<br/><br/>
<br/><br/><label>Standard No.: </label>DIF-M2718 
<br/><br/><label>Subjects--Topical Terms: </label><br/>UML<br/>HERRAMIENTAS DE SOFTWARE<br/>REFINAMIENTO DE PROGRAMAS<br/>MÉTODOS FORMALES<br/>PROCESO DE DESARROLLO DE SOFTWARE