舒尔加,T.E。;伊万诺夫,E.A。;医学博士斯拉斯蒂纳。;新南威尔士州瓦加里纳。 开发基于自动代码生成的软件系统。 (英语。俄文原件) Zbl 1452.68054号 程序。计算。柔和。 42,第3期,167-173(2016); 译自Programmirovanie 42,No.3,55-63(2016)。MSC公司:68号30 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{T.E.Shulga}等人,《程序》。计算。柔和。42、第3号、167--173(2016;Zbl 1452.68054);译自Programmirovanie 42,No.3,55--63(2016) 全文: 内政部
波德洛夫琴科,R.I。 用为单参数模型开发的方法分析程序的双参数代数模型。 (英语。俄文原件) Zbl 1323.68224号 程序。计算。柔和。 40,第3期,107-116(2014); 译自Programmirovanie 40,No.3(2014)。MSC公司:68号30 2005年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.I.Podlovchenko},程序。计算。柔和。40,第3号,第107-116条(2014;Zbl 1323.68224);译自Programmirovanie 40,No.3(2014) 全文: 内政部
El-Fakih,K.A.公司。;多罗菲耶娃,R。;N.V.叶夫图申科。;波希曼,G.V。 基于FSM的用户定义故障测试适用于增量和变异测试。 (英语) Zbl 1252.68191号 程序。计算。柔和。 38,第4期,201-209(2012).MSC公司:第68季度第60季度 第68季度第45季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.A.El-Fakih}等人,《程序》。计算。柔和。38,第4号,201--209(2012;Zbl 1252.68191) 全文: 内政部
新墨西哥州沙巴迪纳。;R.F.加利姆林。 关于为具有超时的非确定性有限状态机派生测试套件。 (英语。俄文原件) Zbl 1252.68080号 程序。计算。柔和。 38,第3期,127-133(2012); 译自Programmirovanie 38,No.3(2012)。MSC公司:68号30 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Shabaldina}和\textit{R.F.Galimullin},程序。计算。柔和。38,第3号,127--133(2012;Zbl 1252.68080);译自Programmirovanie 38,No.3(2012) 全文: 内政部
波德洛夫琴科,R.I。 关于程序代数模型的等价性检查技术。 (英语。俄文原件) Zbl 1251.68105号 程序。计算。柔和。 37,第6期,292-298(2011); 译自Programmirovanie 37,No.6(2011)。MSC公司:2005年第68季度 第68季度第45季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.I.Podlovchenko},程序。计算。柔和。37,第6号,292--298(2011;Zbl 1251.68105);译自Programmirovanie 37,No.6(2011) 全文: 内政部
波德洛夫琴科,R.I。 具有左消去的平衡半群程序模型中的完备等价变换系统。 (英语。俄文原件) Zbl 1251.68079号 程序。计算。柔和。 36,第3期,125-137(2010); 译自Programmirovanie 36,No.3(2010)。MSC公司:68号30 68N99型 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.I.Podlovchenko},程序。计算。柔和。36、编号3、125-137(2010;Zbl 1251.68079);译自Programmirovanie 36,No.3(2010) 全文: 内政部
V.V.库利亚明。 程序系统验证方法的集成。 (英语。俄文原件) Zbl 1183.68378号 程序。计算。柔和。 35,第4期,212-222(2009); 译自Programmirovanie 35,No.4(2009)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Kuliamin},程序。计算。柔和。35,第4号,212--222(2009;Zbl 1183.68378);译自Programmirovanie 35,No.4(2009) 全文: 内政部
伯多诺夫,I.B。;科萨切夫,A.S。;V.V.库利亚明。 遍历有向图的无冗余算法:确定性情况。 (英语。俄文原件) Zbl 1101.68721号 程序。计算。柔和。 29,第5期,245-258(2003); 译自Programmirovanie 29,No.5,11-30(2003)。MSC公司:68兰特 68号30 第68季度第45季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Burdonov}等人,《程序》。计算。柔和。29,第5号,245--258(2003;Zbl 1101.68721);译自Programmirovanie 29,No.5,11-30(2003) 全文: 内政部
Stanevichene,L.I。 CF语言类的一些定义。 (英语。俄文原件) Zbl 0972.68111号 程序。计算。柔和。 25,第5期,252-261(1999); 译自Programmirovanie 1999,第5期,15-25页(1999)。MSC公司:第68季度第60季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{L.I.Stanevichene},程序。计算。柔和。25,第5号,252--261(1999;Zbl 0972.68111);译自Programmirovanie 1999,No.5,15-25(1999)
M.K.瓦利耶夫。 时序逻辑在程序规范中的应用。 (英语。俄文原件) Zbl 0972.68110号 程序。计算。柔和。 24,第2期,47-51页(1998年); 译自Programmirovanie 1998,No.2,3-9(1998)。MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Valiev},程序。计算。柔和。24,第2号,47-51(1998;Zbl 0972.68110);译自Programmirovanie 1998,No.2,3--9(1998)
波德洛夫琴科,R.I。 在递归程序的特殊自动机模型中规划规范形式及其构造。 (英语。俄文原件) Zbl 0909.68120号 程序。计算。柔和。 22,第5期,213-222(1996); 译自Programmirovanie 1996,第5期,3-17页(1996)。MSC公司:第68季度第45季度 2005年第68季度 68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.I.Podlovchenko},程序。计算。柔和。22,第5号,213--222(1996;Zbl 0909.68120);译自Programmirovanie 1996,No.5,3--17(1996)
扎哈罗夫,V.A。 正式模型和自由程序模式。 (英语。俄文原件) Zbl 0875.68208号 程序。计算。柔和。 18,第2期,49-59页(1992年); 译自《Programmirovanie 1992》,第2期,第10-23页(1992)。MSC公司:68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Zakharov},程序。计算。柔和。18,第2号,49-59(1992;Zbl 0875.68208);译自Programmirovanie 1992,No.2,10-23(1992)
普罗琴科,V.S。;尤奇欣,V.V。 VDM规范中的树修改反驳方法。 (英语。俄文原件) Zbl 0875.68636号 程序。计算。柔和。 18,第1期,22-30(1992); 译自Programmirovanie 1992,No.1,37-48(1992)。MSC公司:第68季度第60季度 68N17号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Protsenko}和\textit{V.V.Yurchishin},程序。计算。柔和。18,第1号,第22--30条(1992;Zbl 0875.68636);译自Programmirovanie 1992,No.1,37-48(1992)
比约纳,迪内斯 形式规范是一门实验科学。 (英语。俄文原件) Zbl 0875.68638号 程序。计算。柔和。 17,第6号,316-335(1991); 译自Programmirovanie 1991,第6期,24-43(1991)。MSC公司:第68季度第60季度 68号01 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Björner},程序。计算。柔和。17,No.6,316-335(1991;Zbl 0875.68638);译自Programmirovanie 1991,No.6,24-43(1991)
勘误表。 (英语) Zbl 0657.68024号 程序。计算。软件 13,No.5,234(1987).MSC公司:第68季度第65季度 第68季度第60季度 03B40型 PDF格式BibTeX公司 XML格式引用 程序。计算。柔和。13、5号、234(1987;Zbl 0657.68024)
弗尔克,V.N。 高级编程语言的理论模型。 (英语。俄文原件) Zbl 0645.68042号 程序。计算。软件 13,第4期,139-146(1987); 译自Programmirovanie 1987,No.4,3-12(1987)。MSC公司:第68季度第65季度 第68季度第60季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Fal'k},程序。计算。柔和。13,No.4,139--146(1987;Zbl 0645.68042);译自Programmirovanie 1987,No.4,3--12(1987)
波德洛夫琴科,R.I。 程序模型的层次结构。 (英语。俄文原件) Zbl 0469.68015号 程序。计算。软件 7, 67-76 (1981); 译自Programmirovanie 1981,No.2,3-14(1981)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.I.Podlovchenko},程序。计算。柔和。7、67-76(1981年;Zbl 0469.68015);译自Programmirovanie 1981,No.2,3--14(1981)
Solakhyan,S.A.公司。 包含过程和条件运算符的程序特性的证明。 (英语。俄文原件) Zbl 0419.68017号 程序。计算。软件 3, 107-114 (1977); 译自Programmirovanie 1977,第2期,28-36(1977)。MSC公司:第68季度第60季度 68号01 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Solakhyan},程序。计算。柔和。3、107-114(1977年;Zbl 0419.68017);译自Programmirovanie 1977,No.2,28-36(1977)