Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software

Discuss the fundamental differences between B7 and 7 MP tools.

Describe some typical applications of 7 MP tools in a software development context.

Apply appropriate 7 MP tools to the planning stages of a software development project, and present it to the class.