@conference {12131,
	title = {Empirical-based estimation of the effect on software dependability of a technique for architecture conformance verification},
	booktitle = {Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems, Edinburgh, UK},
	year = {2004},
	month = {2004///},
	abstract = {The High Dependability Computing Program (HDCP)project is a NASA initiative for increasing dependability
of software-based systems. It researches achieving high
dependability by introducing new technologies. We focus
on the evaluation of the effectiveness of technologies with
respect to dependability. We employ empirical evaluation
methods along with evaluation testbeds. In this paper,
our technology evaluation approach is described. A
testbed representative of air traffic control applications is
used. An experiment to evaluate a technology to for
identification of architectural violations is presented.
},
	author = {Asgari, S. and Basili, Victor R. and Costa,P. and Donzelli,P. and Hochstein, L. and Lindvall,M. and Rus,I. and Shull, F. and Tvedt,R. and Zelkowitz, Marvin V}
}
