Titel (eng)

A Logic-Based Approach to the Formal Specification of Data Formats: Paper - iPRES 2008 - London

Autor

Hartle, Michael
Mühlhäuser, Max
Schumann, Daniel
Botchak, Arsene

Beschreibung (eng)

Processing information stored as data in a specific data format is tightly coupled with software implementations that handle necessary elementary processes such as reading and writing. These implementations depend on specific technological environments and thus age due to rapid technological change. The resulting effective loss of information is a major problem for Digital Preservation. In order to provide for persistent, authentic access to stored information, this paper presents a logic-based approach for the formal specification of data formats.

Sprache des Objekts

Englisch

Rechte

Creative Commons Lizenzvertrag
Dieses Werk bzw. dieser Inhalt steht unter einer
CC BY-SA 3.0 AT - Creative Commons Namensnennung - Weitergabe unter gleichen Bedingungen 3.0 Österreich Lizenz.

CC BY-SA 3.0 AT

http://creativecommons.org/licenses/by-sa/3.0/at/

Klassifikation

iPRES, London

Conferences, Conference 2008

Mitglied in der/den Collection(s) (3)

o:424738 Openaire v3.0 collection
o:294193 iPRES 2008 - Proceedings of the 5th International Conference on Preservation of Digital Objects: iPRES 2008 - London
o:168770 Open Access Documents in Phaidra