Herramientas y algoritmos para la construcción y análisis de sistemas
22 Marzo 1999 - 22 Marzo 1999
Países Bajos
TACAS'99, la quinta conferencia internacional sobre herramientas y algoritmos para la construcción y análisis de sistemas, se realizará en Amsterdam, Países Bajos, del 22 al 26 de marzo de 1999. El encuentro formará parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software (ETAPS'99), que es una confederación flexible y abierta de conferencias nuevas y existentes y de otras manifestaciones dirigidas a investigadores académicos e industriales que trabajan en el ámbito de la ciencia del software.
El objeto de la conferencia es proporcionar un punto de reunión a investigadores, proyectistas y usuarios interesados en herramientas de concepción rigurosa para la construcción y análisis de sistemas. Servirá para salvar el vacío que existe entre diferentes comunidades, como las que se dedican a métodos formales, tiempo real, ingeniería de software, protocolos de comunicaciones, hardware, demostración de teoremas y lenguajes de programación. En particular, proporcionando un lugar de reunión para debatir problemas comunes, heurística, algoritmos, estructuras de datos y metodologías, TACAS se propone apoyar a los investigadores en sus esfuerzos por mejorar la utilidad, fiabilidad, flexibilidad y eficacia de herramientas para construir sistemas.
Los temas específicos que se van a abordar durante la conferencia incluyen, entre otros:
- técnicas de verificación y de construcción;
- metodologías composicionales y basadas en refinamientos;
- análisis heterogéneos;
- demostración de teoremas y comprobación de modelos;
- técnicas analíticas para sistemas en tiempo real, híbridos, probabilísticos y fundamentales para la seguridad;
- entornos de herramientas y arquitectura de herramientas;
- aplicaciones y casos para estudio.
Para más información diríjase a:
SUNY
Rance Cleaveland
Stony Brook
NY 11794-4400
EE UU
Tel. +1-516-6328470; Fax +1-516-6328334
E-mail: rance@cs.sunysb.edu
URL: http://www.csc.ncsu.edu/tacas99/(se abrirá en una nueva ventana)
El objeto de la conferencia es proporcionar un punto de reunión a investigadores, proyectistas y usuarios interesados en herramientas de concepción rigurosa para la construcción y análisis de sistemas. Servirá para salvar el vacío que existe entre diferentes comunidades, como las que se dedican a métodos formales, tiempo real, ingeniería de software, protocolos de comunicaciones, hardware, demostración de teoremas y lenguajes de programación. En particular, proporcionando un lugar de reunión para debatir problemas comunes, heurística, algoritmos, estructuras de datos y metodologías, TACAS se propone apoyar a los investigadores en sus esfuerzos por mejorar la utilidad, fiabilidad, flexibilidad y eficacia de herramientas para construir sistemas.
Los temas específicos que se van a abordar durante la conferencia incluyen, entre otros:
- técnicas de verificación y de construcción;
- metodologías composicionales y basadas en refinamientos;
- análisis heterogéneos;
- demostración de teoremas y comprobación de modelos;
- técnicas analíticas para sistemas en tiempo real, híbridos, probabilísticos y fundamentales para la seguridad;
- entornos de herramientas y arquitectura de herramientas;
- aplicaciones y casos para estudio.
Para más información diríjase a:
SUNY
Rance Cleaveland
Stony Brook
NY 11794-4400
EE UU
Tel. +1-516-6328470; Fax +1-516-6328334
E-mail: rance@cs.sunysb.edu
URL: http://www.csc.ncsu.edu/tacas99/(se abrirá en una nueva ventana)