Ohjelmointia vähentämällä voidaan vähentää ohjelmien kiusallisia virheitä. Kuulostaa yksinkertaiselta, jopa hoopolta. Järkeä siinä kuitenkin on, todistaa tiistaina Tampereen teknillisessä yliopistossa tarkastettu väitöstutkimus.
Risto Pitkäsen ohjelmistotekniikan alaan kuuluvan väitöksen mukaan ohjelmien virheet vähenevät, jos monet koodauksen yksityiskohdat automatisoidaan. Näin ohjelmoija saa työnsä tehtyä entistä vähemmällä itse kirjoitetun koodin määrällä eli ohjelmoinnilla.
Väitöksen menetelmiä on sovellettu muun muassa lukkiutumattomien ABS-jarrujen ja robottiruohonleikkurien ohjausjärjestelmissä.
