o:294183
A Logic-Based Approach to the Formal Specification of Data Formats
Paper - iPRES 2008 - London
en
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.
iPRES, London
2013-06-24T13:24:58.298Z
44
yes
46
Michael
Hartle
Max
Mühlhäuser
person
Daniel
Schumann
person
Arsene
Botchak
person
application/pdf
79292
http://phaidra.univie.ac.at/o:294183
no
yes
15
70
12
1068391
1068394