Entwickler, die das Programmieren im Rahmen einer Berufsausbildung (z.B. Fachinformatiker) gelernt haben, haben auch die formellen Aspekte vermittelt bekommen.

Das klingt eher nach einer Wunschvorstellung, als der von mir erlebten Realität zu entsprechen.