3Ye Yang, Qing Wang, Li Mingshu. Process trustwor- thiness as a capability indicator for measuring and im- proving software trustworthiness [C~ // ICSP 2009. Canada,Vancouver,LNCS 5543,2009 : 389-401.
4Amoroso E C T, Watson J, Weiss J. A process-orien- ted methodology for assessing and improving software trustworthiness [C] // Proceedings of the 2nd ACM Conference on Computer and communications security. Virginia, USA, 1994 .- 39 - 50.
5International Standards Organization[S~. Software engi- neering Product quality-Part 4: Quality in use metrics. ISO/IEC 9126-4,2001.
6Spivey J M. The Z Notation: a reference manaul[M~. Oxford, England, University of Oxford, 1992.
7Wang Q, Xiao J, Li M, et al. A process-agent con- struction method for software process modeling in SoftPM[C~// Proceedings of the International Soft- ware Process Workshop and International Workshop on Software Process Simulation and Modeling (SPW/ ProSim 2006). Berlin, Heidelberg: Springer-Verlag, 2006 .. 204-213.
8Zhang L, Wang Q, Xiao J, et al. A tool to create process- agents for OEC-SPM from historical project data[C~// Proceedings of the 2007 International Con- ference on Software Process (ICSP 2007 ). Berlin, Heidelberg: Springer-Verlag, 2007:84-95.