Describir: Softvérové aspekty teórie kódovania