by Adolfo Villafiorita
"Preface Software development is considered among the most complex activities carried out by man. The steady growth of software systems' size, the increasing role software is playing in safety crit…