Article
Revista Facultad de Ingeniería - Universidad de Tarapacá  

GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES

Rossel, Pedro; Contreras, Ricardo; Bastarrica, María Cecilia

Keywords: software engineering, formal methods, Ingeniería de software, métodos formales, especificación algebraica, tipos abstractos de datos, algebraic specification, abstract data types, graphic language