拉斯洛·瓦尔加。 软件工程中的自治agent和多agent范式。 (英语) Zbl 1488.68117号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 52, 349-368 (2021).MSC公司:68T42型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{L.Z.Varga},安理工大学。布达普。罗兰多·Eötvös,Sect。计算。52、349--368(2021年;Zbl 1488.68117) 全文: 链接
拉兹洛·科兹马;吉尔吉斯州奥尔班 关于软件系统的语义描述。 (英语) Zbl 1289.68016号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 41, 57-71 (2013).MSC公司:68号30 第68季度55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{L.Kozma}和\textit{G.Orbán},安理大学。布达普。罗兰多·Eötvös,Sect。计算。41、57——71(2013年;Zbl 1289.68016) 全文: 链接
马塞·特杰费尔;梅琳达·托特;伊斯坦布尔;达尼尔·霍帕西;佐尔坦·霍瓦思 使用基于规范的测试提高软件分析仪和变压器工具的质量。 (英语) Zbl 1249.68037号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 37, 355-368 (2012).MSC公司:68号30 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Tejfel}等人,安理工大学。布达普。罗兰多·Eötvös,Sect。计算。37、355--368(2012;Zbl 1249.68037)
安娜·班萨吉;埃兹亚斯、贝拉·加博;科瓦奇,阿提拉;塔特拉,安塔尔 软件质量管理中的源代码扫描器以及与国际标准的连接。 (英语) 兹比尔1249.68028 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 37, 81-92 (2012).MSC公司:68号30 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bánsághi}等人,安理工大学。布达普。罗兰多·Eötvös,Sect。计算。37、81-92(2012年;Zbl 1249.68028)
吉尔吉斯·奥尔巴恩;拉兹洛·科兹马 在软件开发中使用不同的工具定义合同。 (英语) Zbl 1249.68034号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 36, 323-339 (2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Orbán}和\textit{L.Kozma},安理大学。布达普。罗兰多·Eötvös,Sect。计算。36、323--339(2012;Zbl 1249.68034)
盖尔盖·德瓦伊 嵌入式语言的扩展模式匹配。 (英语) Zbl 1249.68030号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 36, 277-297 (2012).MSC公司:68号30 68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Dévai},安理工大学。布达普。罗兰多·Eötvös,Sect。计算。36、277--297(2012;Zbl 1249.68030)
达尼尔·莱斯科;马塞·特杰费尔 基于领域的新代码覆盖度量和相关的自动测试数据生成方法。 (英语) Zbl 1249.68032号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 36, 217-240 (2012).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Leskó}和\textit{M.Tejfel},安理大学。布达普。罗兰多·Eötvös,Sect。计算。36、217--240(2012;Zbl 1249.68032)
米哈利·比斯科;佐尔坦波科拉布 面向中基于公理的测试生成。NET应用程序。 (英语) Zbl 1249.68029号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 36, 5-22 (2012).MSC公司:68号30 68问题65 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Biczó}和\textit{Z.Porkoláb},安理工大学。布达普。罗兰多·Eötvös,Sect。计算。36、5--22(2012;Zbl 1249.68029)
恩里克·卡斯蒂略 与Janos Galambos合作。 (英语) Zbl 1233.62018年 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 34, 67-86 (2011).MSC公司:62E10型 62G32型 2005年6月62日 62号05 PDF格式BibTeX公司 XML格式引用 \textit{E.Castillo},安理工大学。布达普。罗兰多·Eötvös,Sect。计算。34、67-86(2011;Zbl 1233.62018)
Pásztor Varga,K。;瓦特雷什,M。 多值逻辑,映射,ICF图,范式。 (英语) Zbl 1248.03044号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 31, 185-202 (2009).MSC公司:03B50号 05C12号 05年3月 06E30年 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Pásztor Varga}和\textit{M.Várterész},安理大学。布达普。罗兰多·Eötvös,Sect。计算。31185-202(2009;Zbl 1248.03044)
Dévai,G。;帕塔基,N。 用于正式指定\(C++\)标准模板库的工具。 (英语) Zbl 1199.68041号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 31, 147-166 (2009).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.Dévai}和\textit{N.Pataki},安理大学。布达普。罗兰多·Eötvös,Sect。计算。31147--166(2009年;Zbl 1199.68041)
特杰费尔,M。;科兹克,T。;佐治亚州霍瓦思。 用于证明干净对象I/O程序属性的语义模型。 (英语) Zbl 1212.68091号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 31, 107-146 (2009). 审核人:Damas Gruska(布拉迪斯拉发) MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Tejfel}等人,安理工大学。布达普。罗兰多·Eötvös,Sect。计算。31、107——146(2009年;Zbl 1212.68091)
Diviánszky,P。 线性有限映射的有效实现。 (英语) Zbl 1212.68033号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 30, 201-218 (2009).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Divánszky},安理工大学。布达普。罗兰多·Eötvös,Sect。计算。30、201——218(2009;Zbl 1212.68033)
阿拉巴马州达维德。;科兹玛,L。;T.波兹盖伊。 关于由许多相似部件组成的系统的模型检查。 (英语) Zbl 1164.68020号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 28, 183-195 (2008).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{á.Dávid}等人,Ann.Univ.Sci。布达普。罗兰多·Eötvös,Sect。计算。28183-195(2008年;兹bl 1164.68020)
巴拉兹·乌格伦;拉兹洛·科兹马;萨博尔斯·哈达拉;拉兹洛·布鲁姆 实现并发对象的同步。 (英语) Zbl 1108.68544号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 24, 79-102 (2004).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Ugron}等人,安理工大学。布达普。罗兰多·Eötvös,Sect。计算。24、79——102(2004年;Zbl 1108.68544)
瓦莱里亚诺维茨卡;诺维茨基,B。 计算机编程的元数学基本概念。 (英语) 兹比尔1108.68078 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 23, 193-212 (2004).MSC公司:68问题65 08A70号 18安培99 PDF格式BibTeX公司 XML格式引用 \textit{V.Novitzká}和\textit{B.Novitzky},安理大学。布达普。罗兰多·Eötvös,Sect。计算。23、193--212(2004;Zbl 1108.68078)
阿莱辛,Z。;Gyimóthy,T。;科凯,G。 IDT:用于调试和测试Prolog程序的集成系统。 (英语) Zbl 0979.68552号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 17, 3-16 (1998).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Alexin}等人,安理工大学。布达普。罗兰多·Eötvös,Sect。计算。17、3-16(1998年;Zbl 0979.68552)
佐尔坦·霍瓦思 编程数学模型中的基本关系运算。 (英语) Zbl 0723.68071号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 10, 277-298 (1989).MSC公司:60年第68季度 08A02号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Horváth},安理工大学。布达普。罗兰多·Eötvös,Sect。计算。10277--298(1989;Zbl 0723.68071)
瓦莱里亚诺维茨卡 Anna包的形式语义。 (英语) Zbl 0718.68051号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 10, 67-82 (1989).MSC公司:第68季度55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{V.Novitzka},安理工大学。布达普。罗兰多·Eötvös,Sect。计算。10、67-82(1989年;Zbl 0718.68051)
彼得·斯塔克。 Petri-Netzen建模师。(用Petri网建模)。 (德语) Zbl 0725.68077号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 9, 201-226 (1988).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Starke},安理工大学。布达普。罗兰多·Eötvös,Sect。计算。9201-226(1988年;兹bl 0725.68077)
阮惠坚(Nguyen Huu Chien);拉兹洛·瓦尔加 抽象高级调试器的代数规范。 (英语) Zbl 0723.68025号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 9, 33-50 (1988).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{Nguyen Huu Chien}和\textit{L.Varga},安理大学。布达普。罗兰多·Eötvös,Sect。计算。9,33-50(1988年;兹bl 0723.68025)
拉兹洛·瓦尔加 具有正确性证明的抽象数据类型的实现。 (英语) Zbl 0657.68016号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 8, 109-117 (1987).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Varga},安理工大学。布达普。罗兰多·Eötvös,Sect。计算。8109-117(1987年;Zbl 0657.68016)
瓦尔加,L。 抽象图行走算法。 (英语) Zbl 0492.68017号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 2, 63-83 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Varga},安理工大学。布达普。罗兰多·Eötvös,Sect。计算。2、63-83(1979年;Zbl 0492.68017)