Doc! Appunti di sviluppo di una procedura software per l’analisi di pushover