Tipo abstracto de datos «Biblioteca»

Temezio Vizoso, Silvana Tipo abstracto de datos «Biblioteca». Información, Cultura y Sociedad, 2010, n. 23, pp. 117-135. [Journal article (Paginated)]

[img]
Preview
 PDF
n23a06.pdf
Download (96kB) | Preview

English abstract

Analysis of bibliographic description from a conceptual point of view from the formal specification: «library» abstract data type. Other approaches are detailed using the entity-relationship model and XML language. We conclude the relevance of abstract approach and its general applicability in a subject of constant change.

Spanish abstract

Análisis de la descripción bibliográfica desde un punto de vista conceptual a partir de la especificación formal: tipo abstracto de datos «biblioteca». Se detallan otros abordajes usando el modelo entidad-relación y el lenguaje XML. Se concluye la relevancia del enfoque abstracto y su aplicabilidad genérica en un sujeto de cambio permanente.

Item type: Journal article (Paginated)
Keywords: ADT; Bibliographic formats
Subjects: L. Information technology and library technology > LM. Automatic text retrieval.
Depositing user: Graciela Giunti
Date deposited: 05 Jul 2012
Last modified: 02 Oct 2014 12:22
URI: http://hdl.handle.net/10760/17270

References

Baillie, Jean. 1992. An Introduction to the Algebraic Specification of Abstract Data Types. <http://homepages.feis.herts.ac.uk/~comqejb/algspec/pr.html> [Consulta: 10 marzo 2009].

Federación Internacional de Asociaciones de Bibliotecarios y Bibliotecas. Requisitos funcionales de los registros bibliográficos: informe final. 2004. <http://archive.ifla.org/VII/s13/frbr/frbr-es.pdf> [Consulta: 1 agosto 2010].

Guttag, John V. 1977. Abstract data types and the development of data structures. En Communications of the ACM. Vol. 20, no. 6, 396-404.

Guttag, John V. 1980. Notes on Type Abstraction (Version 2). En IEEE Transactions on Software Engineering. Vol. 6, no. 1, 13-23.

Guttag, John V. 2002. Abstract data types, then and now. En Software pioneers: contributions to software engineering. New York: Springer-Verlag. p. 442-452.

Guttag, John V. y J. J. Horning. 1978. The algebraic specification of abstract data types. En Acta Informatica. Vol. 10, no. 1, 27-52.

Guttag, John V.; E. Horowitz y D. Musser. 1978. Abstract Data Types and Software Validation. En Communications of the ACM. Vol. 21, no. 12, 1048-1064.

IFLA. Grupo de Estudio sobre los Requisitos Funcionales de los Registros Bibliográficos. 2004. Requisitos funcionales de los registros bibliográficos: informe final. [Madrid]: Ministerio de Cultura. <http://archive.ifla.org/VII/s13/frbr/frbr-es.pdf> [Consulta: 1 agosto 2010].

Liskov, Barbara y Stephen Zilles. 1974. Programming with Abstract Data Types. En ACM SIGPLAN Notices. Vol. 9, no. 4, 50-59.

Moreno, Francisco; Jaime Echeverri y Roberto Flórez. 2008. La abstracción de datos y su proceso gradual de construcción. En Dyna. Vol. 75, no. 154. <http://redalyc.uaemex.mx/redalyc/src/inicio/ArtPdfRed.jsp?iCve=49615417> [Consulta: 18 noviembre 2009].

Sommerville, Ian. 2000. Algebraic specification 10. <http://www.comp.lancs.ac.uk/computing/resources/IanS/SE7/ElectronicSupplements/AlgebraicSpec.pdf> [Consulta: 8 mayo 2009].

Stotts, David. 1992. Algebraic Specifications and Abstract Data Types. <http://www.cs.unc.edu/~stotts/723/senotes/L06.html> [Consulta: 8 mayo 2009].

Stotts, David. 1992. Verification of Abstract Data Types. <http://www.cs.unc.edu/~stotts/723/senotes/L07.htm> [Consulta: 8 mayo 2009].

Varga, L. 1983. On the verification of abstract data types. En Acta Cibernética. Vol. 6, no. 1, 7-12. http://www.inf.uszeged.hu/actacybernetica/edb/vol06n1/pdf/Varga_1983_ActaCybernetica.pdf [Consulta: 8 mayo 2009].


Downloads

Downloads per month over past year

Actions (login required)

View Item View Item
Contact us
Send email Sponsors
Sponsor: AIMS Sponsor: D&P Sponsor: UniNa CAB Get connected
Facebook Facebook Twitter Twitter Linkedin LinkedIn RSS RSS