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