Nazir, Shah; Anwar, Sajid; Khan, Sher Afzal; Shahzad, Sara; Ali, Muhammad; Amin, Rohul; Nawaz, Muhammad; Lazaridis, Pavlos; Cosmas, John Software component selection based on quality criteria using the analytic network process. (English) Zbl 07022573 Abstr. Appl. Anal. 2014, Article ID 535970, 12 p. (2014). MSC: 90 68 PDF BibTeX XML Cite \textit{S. Nazir} et al., Abstr. Appl. Anal. 2014, Article ID 535970, 12 p. (2014; Zbl 07022573) Full Text: DOI
Ke, Wei; Liu, Zhiming; Wang, Shuling; Zhao, Liang A graph-based generic type system for object-oriented programs. (English) Zbl 1425.68058 Front. Comput. Sci. 7, No. 1, 109-134 (2013). MSC: 68N19 PDF BibTeX XML Cite \textit{W. Ke} et al., Front. Comput. Sci. 7, No. 1, 109--134 (2013; Zbl 1425.68058) Full Text: DOI
Dong, Ruzhen; Faber, Johannes; Ke, Wei; Liu, Zhiming rCOS: defining meanings of component-based software architectures. (English) Zbl 1444.68047 Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 1-66 (2013). MSC: 68N30 PDF BibTeX XML Cite \textit{R. Dong} et al., Lect. Notes Comput. Sci. 8050, 1--66 (2013; Zbl 1444.68047) Full Text: DOI