Nella mia lunga esperienza parallela di formatore ho potuto più volte constatare in prima persona l'enorme fatica dell'iniziare a parlare di metodi e linguaggi formali alle giovani generazioni di laureati in discipline attinenti l'informatica e l'elettronica. Nel migliore dei casi qualcuno cita UML o i diagrammi di flusso, altri hanno inteso parlare qualche volta delle triple di Hoare, gli elettronici hanno forse visto in laboratorio qualche applicativo avanzato che sfrutta i BDD per la ...
aggiornamento da 31-12-2019 a 15:41 di M.A.W. 1968