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 )