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.



Klassifikation: iPRES, London

Conferences, Conference 2008

Besuche auf dieser Seite:


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
Permanent Identifier