GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES

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 represen...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Rossel,Pedro, Contreras,Ricardo, Bastarrica,María Cecilia
Lenguaje:	Spanish / Castilian
Publicado:	Universidad de Tarapacá. Facultad de Ingeniería 2004
Materias:	Ingeniería de software métodos formales especificación algebraica tipos abstractos de datos
Acceso en línea:	http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-13372004000100003
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

id	oai:scielo:S0718-13372004000100003
record_format	dspace
spelling	oai:scielo:S0718-133720040001000032005-11-10GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPESRossel,PedroContreras,RicardoBastarrica,María Cecilia Ingeniería de software métodos formales especificación algebraica tipos abstractos de datos 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ácticainfo:eu-repo/semantics/openAccessUniversidad de Tarapacá. Facultad de IngenieríaRevista Facultad de Ingeniería - Universidad de Tarapacá v.12 n.1 20042004-05-01text/htmlhttp://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-13372004000100003es10.4067/S0718-13372004000100003
institution	Scielo Chile
collection	Scielo Chile
language	Spanish / Castilian
topic	Ingeniería de software métodos formales especificación algebraica tipos abstractos de datos
spellingShingle	Ingeniería de software métodos formales especificación algebraica tipos abstractos de datos Rossel,Pedro Contreras,Ricardo Bastarrica,María Cecilia GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES
description	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
author	Rossel,Pedro Contreras,Ricardo Bastarrica,María Cecilia
author_facet	Rossel,Pedro Contreras,Ricardo Bastarrica,María Cecilia
author_sort	Rossel,Pedro
title	GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES
title_short	GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES
title_full	GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES
title_fullStr	GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES
title_full_unstemmed	GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES
title_sort	graphic specification of abstract data types
publisher	Universidad de Tarapacá. Facultad de Ingeniería
publishDate	2004
url	http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-13372004000100003
work_keys_str_mv	AT rosselpedro graphicspecificationofabstractdatatypes AT contrerasricardo graphicspecificationofabstractdatatypes AT bastarricamariacecilia graphicspecificationofabstractdatatypes
_version_	1714202093619773440

GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES

Ejemplares similares