Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Integrando modelos en UML y especificaciones formales

Tipo de documento: Objeto de conferencia

Resumen

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 especificaciones formales asociadas a modelos semi-formales en UML trabajando en un ambiente integrado de desarrollo.

Notas

Eje: Ingeniería de Software

Información general

Fecha de exposición: mayo 2004
Fecha de publicación: 2004
Idioma del documento: Español
Evento: VI Workshop de Investigadores en Ciencias de la Computación
Institución de origen: Red de Universidades con Carreras en Informática (RedUNCI)
Páginas: 254-258

Descargar archivos

Thumbnail
Documento completo
Descargar archivo (49.86Kb) - PDF
 
Creado el: 21 de septiembre de 2012
Disponible en SEDICI desde: 21 de septiembre de 2012
Por favor, utilice uno de estos identificadores(URI) para citar o enlazar este ítem:
  • http://sedici.unlp.edu.ar/handle/10915/21300

    • Este ítem aparece en la(s) siguiente(s) colección(ones)

    Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)