%0 Journal Article
%T GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES
%A Rossel
%A Pedro
%A Contreras
%A Ricardo
%A Bastarrica
%A Mar¨Şa Cecilia
%J Revista Facultad de Ingenier¨Şa - Universidad de Tarapac¨˘
%D 2004
%I Scientific Electronic Library Online
%R 10.4067/S0718-13372004000100003
%X 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
%K software engineering
%K formal methods
%K algebraic specification
%K abstract data types
%K graphic language.
%U http://www.scielo.cl/scielo.php?script=sci_abstract&pid=S0718-13372004000100003&lng=en&nrm=iso&tlng=en