安东尼娜·奈菲沃达 作为前缀文法的乒乓协议:通过程序转换进行建模和验证。 (英语) Zbl 1348.68084号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,782-804(2016).MSC公司:2012年第68季度 68号30 68页30 PDF格式BibTeX公司 XML格式引用 \textit{A.Nepevoda},J.Log。阿尔盖布。方法计划。85,第5号,第1部分,782--804(2016;Zbl 1348.68084) 全文: 内政部
拉马努贾姆,R。;Sheerazuddin,S。 web服务编排的可实现时态逻辑。 (英语) Zbl 1348.68148号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,759-781(2016).MSC公司:60年第68季度 68英里11 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam}和\textit{S.Sheerazuddin},J.Log。阿尔盖布。方法计划。85,第5号,第1部分,759--781(2016;Zbl 1348.68148) 全文: 内政部
西尔万·霍尔;尼古拉斯·贝杰隆;弗朗西斯·盖林;加布里埃尔·勒布雷顿;乌萨马·贝鲁阿尔 用于测试web应用程序的声明性布局约束。 (英语) Zbl 1348.68038号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,737-758(2016).MSC公司:68号30 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{S.Hallé}等人,J.Log。阿尔盖布。方法计划。85,第5号,第1部分,737-758(2016;兹bl 1348.68038) 全文: 内政部
玛丽亚·阿尔普特;黛米斯·巴利斯;Frechina,弗朗西斯科;朱莉娅·萨皮娜 通过运行时断言检查和跟踪切片调试Maude程序。 (英语) Zbl 1348.68027号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,707-736(2016).MSC公司:68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,J.Log。阿尔盖布。方法计划。85,第5号,第1部分,707--736(2016;Zbl 1348.68027) 全文: 内政部
加布里埃尔·乔巴努;罗斯·霍恩;弗拉迪米罗·萨松 RDF模式的描述性类型基础。 (英语) Zbl 1348.68032号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,681-706(2016).MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}等人,J.Log。阿尔盖布。方法计划。85,第5号,第1部分,681--706(2016;Zbl 1348.68032) 全文: 内政部 链接
洛伦佐·贝蒂尼 使用Xsemantics实现IDE的类型系统。 (英语) Zbl 1348.68030号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,655-680(2016).MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini},J.Log。阿尔盖布。方法计划。85,第5号,第1部分,655--680(2016;Zbl 1348.68030) 全文: 内政部
ter Beek,Maurice H。(编辑);阿列克谢·利西萨(编辑);安德烈·奈米提克(Andrei P.Nemytykh)。(编辑);安托尼奥·拉瓦拉(编辑) 程序和Web系统的自动验证。 (英语) Zbl 1349.00289号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,653-654(2016).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}(编辑)等,J.Log。阿尔盖布。方法计划。85,第5号,第1部分,653--654(2016;Zbl 1349.00289) 全文: 内政部