Darwin: una herramienta para verificar diseños arquitecturales

En este trabajo presentamos una herramienta que permite a los ingenieros de software realizar ciertas verificaciones sobre diseños arquitecturales. Esta herramienta, llamada Darwin, utiliza como lenguaje de modelado la notación BON, en cuanto las verificaciones son realizadas por medio del lenguaje...

Descripción completa

Detalles Bibliográficos
Autores principales: Castro, Pablo Francisco, Ponzio, Pablo Daniel, Demasi, Ramiro Adrián, Baum, Gabriel Alfredo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2005
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
herramientas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21121
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21121
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
SOFTWARE ENGINEERING
herramientas
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
herramientas
Castro, Pablo Francisco
Ponzio, Pablo Daniel
Demasi, Ramiro Adrián
Baum, Gabriel Alfredo
Darwin: una herramienta para verificar diseños arquitecturales
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
herramientas
description En este trabajo presentamos una herramienta que permite a los ingenieros de software realizar ciertas verificaciones sobre diseños arquitecturales. Esta herramienta, llamada Darwin, utiliza como lenguaje de modelado la notación BON, en cuanto las verificaciones son realizadas por medio del lenguaje lógico Alloy. Adicionalmente presentamos algunas de las funcionalidades que agregaremos a la herramienta en un futuro próximo.
format Objeto de conferencia
Objeto de conferencia
author Castro, Pablo Francisco
Ponzio, Pablo Daniel
Demasi, Ramiro Adrián
Baum, Gabriel Alfredo
author_facet Castro, Pablo Francisco
Ponzio, Pablo Daniel
Demasi, Ramiro Adrián
Baum, Gabriel Alfredo
author_sort Castro, Pablo Francisco
title Darwin: una herramienta para verificar diseños arquitecturales
title_short Darwin: una herramienta para verificar diseños arquitecturales
title_full Darwin: una herramienta para verificar diseños arquitecturales
title_fullStr Darwin: una herramienta para verificar diseños arquitecturales
title_full_unstemmed Darwin: una herramienta para verificar diseños arquitecturales
title_sort darwin: una herramienta para verificar diseños arquitecturales
publishDate 2005
url http://sedici.unlp.edu.ar/handle/10915/21121
work_keys_str_mv AT castropablofrancisco darwinunaherramientaparaverificardisenosarquitecturales
AT ponziopablodaniel darwinunaherramientaparaverificardisenosarquitecturales
AT demasiramiroadrian darwinunaherramientaparaverificardisenosarquitecturales
AT baumgabrielalfredo darwinunaherramientaparaverificardisenosarquitecturales
bdutipo_str Repositorios
_version_ 1764820465478533120

Ejemplares similares