Technische Softwaredokumentation unter ökonomischen Gesichtspunkten – Ein formal-deduktiver Ansatz