简朴的乔科;雷米·杜伦斯;帕斯卡·弗雷德特 保留属性的方面。 (英语) Zbl 1243.68143号 科学。计算。程序。 77,第3期,393-422(2012).MSC公司:68甲19 68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Djoko-Djoko}等人,科学。计算。程序。77,第3号,393--422(2012;Zbl 1243.68143) 全文: 内政部
瓦伦蒂安·瓦莱罗;赫梅内吉尔达·马西阿;胡安·何塞·帕尔多;玛丽亚·艾米利亚·坎布罗内罗;格雷戈里奥·迪亚斯 将具有优先级和时间约束的web服务编排转换为具有优先级的时间着色Petri网。 (英语) Zbl 1243.68042号 科学。计算。程序。 77,第3号,290-313(2012).MSC公司:68英里11 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Valero}等人,科学。计算。程序。77,第3号,290--313(2012;Zbl 1243.68042) 全文: 内政部
托马斯·鲁罗斯;海克·卫尔海姆 模型演化和细化。 (英语) Zbl 1243.68156号 科学。计算。程序。 77,第3期,270-289(2012).MSC公司:68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ruhroth}和\textit{H.Wehrheim},科学。计算。程序。77,第3号,270--289(2012;Zbl 1243.68156) 全文: 内政部
莱拉·里贝罗;多斯桑托斯(Dos Santos,Osmar Marchi);费尔南多·路易斯·多蒂;卢西亚娜·福斯 正确的转换:从基于对象的图形语法到PROMELA。 (英语) Zbl 1243.68155号 科学。计算。程序。 77,第3期,214-246页(2012年).MSC公司:68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ribeiro}等人,科学。计算。程序。77,第3号,214--246(2012;Zbl 1243.68155) 全文: 内政部
安德烈·奥尔扎克;乔根森、博·诺雷加德 重新模块化Java程序以改进源代码中功能实现的局部性。 (英语) Zbl 1243.68145号 科学。计算。程序。 77,第3期,131-151(2012).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Olszak}和\textit{B.N.约根森},科学。计算。程序。77,第3号,131--151(2012;Zbl 1243.68145) 全文: 内政部
斯文·阿佩尔(编辑);Lengauer,基督徒(编辑);朱莉娅·劳尔(编辑) 部分特刊:面向特性的软件开发(FOSD 2009)。2009年10月6日,美国科罗拉多州丹佛市,根据研讨会上的陈述选择论文。 (英语) Zbl 1246.68019号 科学。计算。程序。77,第3期,129-187(2012)。 MSC公司:68-06 00B25型 68甲19 68号30 PDF格式BibTeX公司 XML格式