The essential synthesis of problem frames and assurance cases.

Elisabeth A. Strunk, John C. Knight

Browse the full ICSE paper archive.