Un approccio costruttivo alla formalizzazione