Utnyttelse av datateknikk har lenge vært ønskelig, men har hittil vært lite vellykket på grunn av manglende innsikt i konstruksjonsteori.