Subir material

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

 

Darwin: una herramienta para verificar diseños arquitecturales

Tipo de documento: Objeto de conferencia

Resumen

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.

Notas

Eje: Ingeniería en Software

Información general

Fecha de exposición: mayo 2005
Fecha de publicación: 2005
Idioma del documento: Español
Evento: VII Workshop de Investigadores en Ciencias de la Computación
Institución de origen: Red de Universidades con Carreras en Informática (RedUNCI)
ISBN: 950-665-337-2
Páginas: 258-262

Descargar archivos

Thumbnail
Documento completo
Descargar archivo (137.2Kb) - PDF
 
Creado el: 18 de septiembre de 2012
Disponible en SEDICI desde: 18 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/21121

    • 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)