Publications
Formal papers, specifications and technical proposals. Each publication has a stable identity, current version and transparent revision history.
The Data Berg Model
A reasoning framework for the formation, persistence and observable behaviour of long-lived data.
Behavioural Specification Layer
Formal behavioural definitions and classification rules for the Data Berg Model.
CapsuleJobs
A portable, self-contained HPC batch artefact with introspective metadata.