Integrando modelos en UML y especificaciones formales
En el presente informe se dan los lineamientos generales de un proyecto de desarrollo de software para la integración de una herramienta gráfica de diseño de diagramas de clases en UML y un generador de especificaciones formales en RSL. Esta integración permitirá que un ingeniero de software realice...
Guardado en:
| Autores principales: | Funes, Ana, Dasso, Aristides, Riesco, Daniel Eduardo, Montejano, Germán Antonio |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2004
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/21300 |
| Aporte de: |
Ejemplares similares
-
Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
por: Funes, Ana, et al.
Publicado: (2005) -
Especificación de requisitos: de lo informal a lo formal
por: Dasso, Aristides, et al.
Publicado: (2010) -
Perfiles UML para la definición de patrones de diseño de comportamiento
por: Cortez, Alberto, et al.
Publicado: (2012) -
Extensiones al meta-modelo UML desarrollando nuevos estereotipos
por: Riesco, Daniel Eduardo
Publicado: (2002) -
Una integración de modelos estáticos UML y Eiffel
por: Favre, Liliana María, et al.
Publicado: (2001)