Ultimi messaggi inseriti

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 ...