July 2014
Intermediate to advanced
420 pages
15h 25m
English
Hong Zhu1; Qian Zhang2; Yanlong Zhang3 1 Oxford Brookes University, Oxford, UK2 The National University of Defense Technology, Changsha, China3 Manchester Metropolitan University, Manchester, UK
HASARD stands for Hazard Analysis of Software ARchitectural Designs. It is a model-based method for the analysis of software quality as entailed in software architectural designs. In this method, quality hazards are systematically explored, and their causes and effects are identified. The results of hazard analysis are then transformed into a graphical quality model of the system under assessment. Queries about quality-related properties of the system ...