In his paper “Relativism, translation, and the metaphysics of realism”, A. Arageorgis, building on the work of Kelly et al., constructs a formal framework describing scientific theorising in the presence of many variants of relativism; truth, meaning, logical framework, and evidence are expected to depend on the actions, conjectures, and conceptual choices of each scientist (or research programme) at any given time. Having in mind the empirical character of software development, we extend the framework of Arageorgis to describe software development. As in the previous framework, we obtain a proof that if two programme generators start with common specification and work in a way that asymptotically brings each of them close to their respective truth about the world and their artefacts, then there will be a (maybe trivial) translation between their resulting theories and programmes.