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. GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES. 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.

Formally specifying software requirements using algebraic specifications has all the advantages of formal specifications. This type of specifications is usually textual. Most modern specification languages have a graphical representation in an attempt to improve usability. This is also the case for algebraic specifications .Here we present a survey on how abstract data types are represented graphically. We propose a structure containing a superset of all elements surveyed.  We also show an application example, and we report some experimental results when using this graphical representation

Palabras clave : Software engineering; formal methods; algebraic specification; abstract data types; graphic language.

        · resumen en Español     · 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