Thus, the phrases ‘satisfy’ and ‘partial degree of satisfaction’ do not mean the same. The current state of the art in evaluating, validating and verifying probabilistic goals is still fairly limited, although such goals are frequently found in software projects (Letter & van Lamsweerde, 2004).