Integrando modelos en UML y especificaciones formales

Authors: Funes, Ana | Dasso, Aristides | Riesco, Daniel Eduardo | Montejano, Germán Antonio
Issue date: 2004
Document type: Objeto de conferencia

Abstract

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.

xmlui.dri2xhtml.METS-1.0.item-note

Eje: Ingeniería de Software

General information

Document language: Spanish
Event: VI Workshop de Investigadores en Ciencias de la Computación
Extent: p. 254-258
Subjects: Ciencias Informáticas
Descriptors: SOFTWARE ENGINEERING
Keywords: Modelos en UML; Especificaciones Formales
Created: 21 de septiembre de 2012
Available since: 21 de septiembre de 2012

Files in this item

Icon
49.86Kb - PDF

This item appears in the following Collection(s)

Creative Commons Atribución-NoComercial-CompartirIgual 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Atribución-NoComercial-CompartirIgual 2.5 Argentina (CC BY-NC-SA 2.5)