SciELO - Scientific Electronic Library Online

 
vol.12 número1IMPLEMENTACIÓN DE UN RECONOCEDOR DE PALABRAS AISLADAS DEPENDIENTE DEL LOCUTORUN ENFOQUE BAYESIANO PARA INCORPORAR PRONÓSTICOS DE LA DEMANDA EN EXPERIMENTOS POR SIMULACIÓN PARA LA ADMINISTRACIÓN DE INVENTARIOS índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados

Revista

Articulo

Indicadores

Links relacionados

Compartir


Revista Facultad de Ingeniería - Universidad de Tarapacá

versión On-line ISSN 0718-1337

Resumen

ROSSEL, Pedro; CONTRERAS, Ricardo  y  BASTARRICA, María Cecilia. Rev. Fac. Ing. - Univ. Tarapacá [online]. 2004, vol.12, n.1, pp.15-23. ISSN 0718-1337.  http://dx.doi.org/10.4067/S0718-13372004000100003.

La definición formal de requisitos de software usando especificaciones algebraicas tiene todas las ventajas de las especificaciones formales y su sólida base teórica. Este tipo de especificaciones es generalmente textual. La mayor parte de los lenguajes de especificación modernos tienen una representación gráfica para mejorar su usabilidad. Esto también es el caso de las especificaciones algebraicas. En este artículo presentamos una recopilación de las formas en que los tipos abstractos de datos pueden ser representados gráficamente usando especificaciones algebraicas, proponiendo una notación que incluye el conjunto de todas las facetas encontradas en la literatura. También mostramos un ejemplo de aplicación y algunos resultados experimentales de usar esta notación gráfica en la práctica

Palabras clave : Ingeniería de software; métodos formales; especificación algebraica; tipos abstractos de datos.

        · resumen en Inglés     · texto en Español     · Español ( pdf )

 

Creative Commons License Todo el contenido de esta revista, excepto dónde está identificado, está bajo una Licencia Creative Commons