Diferencias

Muestra las diferencias entre dos versiones de la página.

--- ano_2008 [2008/08/19 14:38] – creado aacosta
+++ ano_2008 [2008/12/23 19:45] (actual) – borrado nueces
@@ Línea 1: / Línea 1: @@
-=== Martes 12 de agosto ===
-  * Expositor: Matias Lee
-  * Título:
-  * Resumen:
-=== Martes 19 de agosto ===
-  * Expositor: Nazareno Aguirre
-  * Título: Descripcion y Analisis de Especificaciones Tabulares de Requisitos usando DynAlloy (trabajo realizado en conjunto con Marcelo Frias, Mariano Moscato, Tom Maibaum y Alan Wassyng)
-  * Resumen:
-En esta charla presentare un lenguaje para la especificacion formal de requisitos llamado SCR (Software Cost Reduction), desarrollado por el Instituto de Investigacion Naval de EEUU. El lenguaje esta fuertemente basado en una notacion tabular, que permite organizar formulas (que describen la relacion que el sistema debe mantener con el ambiente) de manera concisa y clara. El lenguaje posee ademas maduras herramientas de analisis basadas en model checking y demostracion semi-automatica de teoremas.
-Discutire ademas algunas limitaciones de SCR, en particular en lo concerniente a la combinacion de tablas. Mostrare como este problema puede atacarse utilizando DynAlloy, una extension al lenguaje de especificaciones Alloy que incorpora acciones (y programas). DynAlloy posee una herramienta de analisis, que indirectamente utiliza SAT solvers mediante la traduccion de especificaciones DynAlloy a Alloy, y el uso del Alloy Analyzer (la herramienta asociada al lenguaje Alloy).