Nguyen Chart 1


Elements adapted from the Goal Structuring Notation for a software assurance case.

Elements adapted from the Goal Structuring Notation for a software assurance case. Arguments or goals are represented by rectangles. Black arrows show the argument decomposition, red arrows show context. This version explicitly defines the strategy used for decomposition. Strategies aren’t required if the decomposition is obvious.  More »