design for trustworthy software : tools techniques and methodology of
an integrated technology for delivering better software -- cheaper and faster ! this book presents an integrated technology design for trustworthy software ( dfts ) to address software quality issues upstream such that the goal of software quality