爱德华多·凯斯勒·皮维塔;安娜·莫雷拉;马塞洛·苏亚雷斯,皮门塔;乔昂·阿劳乔;佩德罗·格雷罗;普莱斯,R.汤姆 面向方面度量的实证研究。 (英语) Zbl 1264.68064号 科学。计算。程序。 78,第1期,117-144(2012).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.K.Piveta}等人,科学。计算。程序。78,第1号,117--144(2012;Zbl 1264.68064) 全文: 内政部
Alireza Khalilian;穆罕默德·阿卜杜拉希·阿兹戈米;亚尔达·法兹拉利扎德 通过合并历史测试用例数据对测试用例进行优先级排序的改进方法。 (英语) Zbl 1264.68067号 科学。计算。程序。 78,第1期,93-116(2012).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Khalilian}等人,科学。计算。程序。78,第1号,93--116(2012;Zbl 1264.68067) 全文: 内政部
运河,卡洛斯;哈维尔·卡马拉;格温·萨拉恩 行为适应下的系统结构重构。 (英语) Zbl 1264.68047号 科学。计算。程序。 78,编号1,46-64(2012).MSC公司:68甲19 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{C.Canal}等人,科学。计算。程序。78,第1号,46--64(2012;Zbl 1264.68047) 全文: 内政部
马库斯·隆佩 组件交互自动机的分区细化。 (英语) Zbl 1264.68060号 科学。计算。程序。 78,第1期,27-45(2012).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lumpe},科学。计算。程序。78,编号1,27-45(2012;Zbl 1264.68060) 全文: 内政部
纳尔赫斯·卡普尔;赛义德·贾利利;卡罗琳·塔尔科特;马尔詹·西尔贾尼;穆罕默德·穆萨维 进化自适应系统的形式化建模。 (英语) 兹比尔1264.68131 科学。计算。程序。 78,第1期,3-26(2012).MSC公司:68T05型 68号30 第68季度第70季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Khakpour}等人,《科学》。计算。程序。78,编号1,3--26(2012年;兹bl 1264.68131) 全文: 内政部
孙孟(编辑);伯恩哈德·施瓦茨(编辑) 特刊:根据2009年11月2日至3日在荷兰埃因霍温举行的第六届组件软件形式方面国际研讨会(FACS’09)上的演示文稿选出的论文。 (英语) Zbl 1273.68038号 科学。计算。程序。78,第1期,1-64页(2012年)。 MSC公司:68-06 00B25型 68新元 PDF格式BibTeX公司 XML格式