×

找到179份文件（结果1-100）

最新的 引文 关联
J·朱利安德。;O.库什纳伦科。;马森，P.A。;沃伊隆，G。

从事件系统抽象生成测试，以覆盖其状态和转换。 （英语。俄文原件） Zbl 1455.68104号

程序。计算。柔和。 44，第1期，1-14（2018）；译自Programmirovanie 44，No.1，3-20（2018）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Julliand}等人，《计划》。计算。柔和。44，第1号，1-14（2018；Zbl 1455.68104）；译自Programmirovanie 44，No.1，3--20（2018）
全文： 内政部
Mandrykin，M.U。;Khoroshilov，A.V.公司。

C程序演绎验证的区域分析。 （英语。俄文原件） Zbl 1452.68051号

程序。计算。柔和。 42，第5期，257-278（2016）；译自Programmirovanie 42，No.5，3-29（2016）。
MSC公司：68号30 68甲15 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.U.Mandrykin}和\textit{A.V.Khoroshilov}，程序。计算。柔和。42，第5号，257--278（2016；Zbl 1452.68051）；译自Programmirovanie 42，No.5，3--29（2016）
全文： 内政部
伯多诺夫，I.B。;科萨切夫，A.S。

测试实验的形式化。二、。 （英语。俄文原件） Zbl 1323.68042号

程序。计算。柔和。 39，第4期，163-181（2013）；译自Programmirovanie 39，No.4（2013）。
MSC公司：68米15 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.B.Bourdonov}和\textit{A.S.Kossatchev}，程序。计算。柔和。39，No.4，163--181（2013；Zbl 1323.68042）；译自Programmirovanie 39，No.4（2013）
全文： 内政部
瓦森宁，V.A。;克里夫奇科夫，医学硕士。

动态并发程序执行模型。 （英语。俄文原件） Zbl 1262.68035号

程序。计算。柔和。 39，第1期，第1-9期（2013年）；译自Programmirovanie 39，No.1（2013）。
MSC公司：68甲19 68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Vasenin}和\textit{M.A.Krivchikov}，程序。计算。柔和。39，第1、1-9号（2013；Zbl 1262.68035）；译自Programmirovanie 39，No.1（2013）
全文： 内政部
新墨西哥州加拉尼娜。

具有完全召回的多智能体系统模型检测时间复杂度的指数改进。 （英语。俄文原件） Zbl 1257.68151号

程序。计算。柔和。 38，第6期，294-303（2012）；译自Programmirovanie 38，No.6（2012）。
MSC公司：68瓦40 60年第68季度 03B70号 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit｛N.O.Garanina｝，程序。计算。柔和。38，第6号，294--303（2012；Zbl 1257.68151）；译自Programmirovanie 38，No.6（2012）
全文： 内政部
伯多诺夫，I.B。;科萨切夫，A.S。

IOCO规范完成。 （英语。俄文原件） Zbl 1242.68152号

程序。计算。柔和。 37，第1期，第1-14页（2011年）；译自Programmirovanie 37，No.1（2011）。
MSC公司：60年第68季度 68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{I.B.Bourdonov}和\textit{A.S.Kossatchev}，程序。计算。柔和。37、第1号、第1-14号（2011；Zbl 1242.68152）；译自Programmirovanie 37，No.1（2011）
全文： 内政部
利西萨，A.P。;Nemytykh，A.P。

在一个使用oracle进行计算的应用程序上。 （英语。俄文原件） Zbl 1253.68089号

程序。计算。柔和。 36，第3期，157-165（2010）；译自Programmirovanie 36，No.3（2010）。
MSC公司：68N20型 68甲19 68N99型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.P.Lisitsa}和\textit{A.P.Nemytykh}，程序。计算。柔和。36，第3号，157--165（2010；Zbl 1253.68089）；译自Programmirovanie 36，No.3（2010）
全文： 内政部
波德洛夫琴科，R.I。

具有左消去的平衡半群程序模型中的完备等价变换系统。 （英语。俄文原件） Zbl 1251.68079号

程序。计算。柔和。 第36125-137号（2010年）；译自Programmirovanie 36，No.3（2010）。
MSC公司：68号30 68N99型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.I.Podlovchenko}，程序。计算。柔和。36、编号3、125-137（2010；Zbl 1251.68079）；译自Programmirovanie 36，No.3（2010）
全文： 内政部
科尔尼金，E.V。

生成测试数据，用于验证微处理器中的缓存机制和地址转换。 （英语。俄文原件） Zbl 1205.68106号

程序。计算。柔和。 36，第1期，28-35页（2010年）；翻译自Programmirovanie 36，第1期（2010年）。
MSC公司：68米99 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.V.Kornykhin}，程序。计算。柔和。36，第1号，第28-35条（2010；Zbl 1205.68106）；译自Programmirovanie 36，No.1（2010）
全文： 内政部
M.K.瓦利耶夫。;德赫蒂亚尔，M.I。;迪科夫斯基（A.Ya）。

由逻辑程序控制的代理系统：验证的复杂性。 （英语。俄文原件） Zbl 1187.68626号

程序。计算。柔和。 35，第5期，266-281（2009）；译自Programmirovanie 35，No.5（2009）。
MSC公司：68T42型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.K.Valiev}等人，《程序》。计算。柔和。35，第5号，266--281（2009；Zbl 1187.68626）；译自Programmirovanie 35，No.5（2009）
全文： 内政部
E.V.库兹明。;V.A.索科洛夫。;查利·D·朱。

跟踪断言方法在自动机程序的规范、设计和验证中的应用。 （英语。俄文原件） 兹比尔1185.68417

程序。计算。柔和。 35，第1期，43-55（2009）；译自Programmirovanie 35，No.1（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.V.Kuzmin}等人，《程序》。计算。柔和。35，编号1，43-55（2009；Zbl 1185.68417）；译自Programmirovanie 35，No.1（2008）
全文： 内政部
新墨西哥州希洛夫。;安努列夫，I.S。;博丁，E.V。

为命令式程序生成正确性条件。 （英语。俄文原件） Zbl 1185.68424号

程序。计算。柔和。 34，第6号，307-321（2008）；译自Programmirovanie 34，No.6（2008）。
MSC公司：60年第68季度 68N99型
PDF格式BibTeX公司 XML格式引用
\textit｛N.V.Shilov｝等人，程序。计算。柔和。34，第6号，307--321（2008；Zbl 1185.68424）；译自Programmirovanie 34，No.6（2008）
全文： 内政部
Virbitskaite，I.B.公司。;杜伯索夫，R.S。

时间事件结构的语义域。 （英语。俄文原件） Zbl 1188.68180号

程序。计算。柔和。 34，第3期，125-137（2008）；译自Programmirovanie 34，No.3，3-20（2008）。
MSC公司：68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.B.Virbitskaite}和\textit{R.S.Dubtsov}，程序。计算。柔和。34，编号3，125-137（2008；Zbl 1188.68180）；译自Programmirovanie 34，No.3，3--20（2008）
全文： 内政部
E.V.库兹明。;V.A.索科洛夫。

自动机程序的建模、规范和验证。 （英语。俄文原件） Zbl 1185.68255号

程序。计算。柔和。 34，第1期，第27-43页（2008年）；译自Programmirovanie 34，No.1（2008）。
MSC公司：68N99型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.V.Kuzmin}和\textit{V.A.Sokolov}，程序。计算。柔和。34，编号1，27-43（2008；Zbl 1185.68255）；译自Programmirovanie 34，No.1（2008）
全文： 内政部
V.P.伊万尼科夫。;坎金，A.S。;科萨切夫，A.S。;V.V.库利亚明。;彼得伦科，A.K。

使用合同规范来表示硬件模型的需求和功能测试。 （英语。俄文原件） Zbl 1154.68442号

程序。计算。柔和。 33，第5号，272-282（2007）；译自Programmirovanie 2007，No.5，47-61（2007）。
MSC公司：60年第68季度 68米99
PDF格式BibTeX公司 XML格式引用
\textit{V.P.Ivannikov}等人，《程序》。计算。柔和。33，第5号，272--282（2007；Zbl 1154.68442）；翻译自Programmirovanie 2007，第5期，第47-61页（2007年）
全文： 内政部
利西萨，A.P。;Nemytykh，A.P。

作为参数化测试的验证（使用SCP4超级编译器的实验）。 （英语。俄文原件） Zbl 1120.68383号

程序。计算。柔和。 33，第1期，14-23页（2007年）；译自Programmirovanie 33，No.1，22-34（2007）。
MSC公司：68N20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.P.Lisitsa}和\textit{A.P.Nemytykh}，程序。计算。柔和。33，第1号，第14-23号（2007；Zbl 1120.68383）；译自Programmirovanie 33，No.1，22--34（2007）
全文： 内政部
A.V.巴比切夫。;列别捷夫，V.G。

Model-100：交互过程的规范语言。 （英语。俄文原件） Zbl 1120.68405号

程序。计算。柔和。 33，编号1，2-13（2007）；译自Programmirovanie 33，No.1，5-21（2007）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.V.Babichev}和\textit{V.G.Lebedev}，程序。计算。柔和。33，第1号，第2--13号（2007；Zbl 1120.68405）；译自Programmirovanie 33，No.1，5--21（2007）
全文： 内政部
Neponiaschij，V.A。;安努列夫，I.S。;杜布拉诺夫斯基，I.V。;普罗姆斯基，A.V。

C程序验证：三级方法。 （英语。俄文原件） Zbl 1117.68020号

程序。计算。柔和。 32，第4期，190-202（2006）；译自Programmirovanie 2006，第4期，4-20（2006）。
MSC公司：68号30 60年第68季度 68问题55 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Nepominaschij}等人，项目。计算。柔和。32，第4号，190--202（2006；Zbl 1117.68020）；译自Programmirovanie 2006，No.4，4--20（2006）
全文： 内政部
尼泊尔人。;安努列夫，I.S。;普罗姆斯基。

面向C程序的验证：C内核语言的公理语义。 （英语。俄文原件） Zbl 1099.68544号

程序。计算。柔和。 29，第6号，338-350（2003）；译自Programmirovanie 2003，第6期，65-80（2003）。
MSC公司：68甲15 68号30 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Nepominaschy}等人，《计划》。计算。柔和。29，第6号，338--350（2003；Zbl 1099.68544）；译自Programmirovanie 2003，No.6，65-80（2003）
全文： 内政部
Nepomnyashchij，V.A。;安努列夫，I.S。;米哈伊洛夫，I.N。;普罗姆斯基，A.V。

面向C程序的验证。C-light语言及其形式语义。 （英语。俄文原件） Zbl 1035.68064号

程序。计算。柔和。 28，第6期，314-323（2002）；译自Programmirovanie 2002，第6期，19-30（2002）。
MSC公司：60年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Nepomnyashchij}等人，《计划》。计算。柔和。28，第6号，314--323（2002；Zbl 1035.68064）；译自Programmirovanie 2002，No.6，19-30（2002）
全文： 内政部
内波米纳希。;Alekseev，G.I。;Bystrov，A.V.公司。;迈尔尼科夫，S.P。;Okunishnikova，E.V.公司。;查巴列夫，P.A。;楚里娜，T.G。

使用高级Petri网验证特定于酯类的通信协议。 （英语。俄文原件） Zbl 0991.68049号

程序。计算。柔和。 27，第2号，58-68（2001）；翻译自Programmirovanie 2001，第2期，5-20页（2001年）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Nepominaschy}等人，《计划》。计算。柔和。27、第2号、第58--68号（2001；Zbl 0991.68049）；译自Programmirovanie 2001，No.2，5--20（2001）
全文： 内政部
S.V.潘科夫。;克里茨基，S.P。

基于（L）程序形式验证SPMD类型的分布式程序。 （英语。俄文原件） Zbl 0972.68113号

程序。计算。柔和。 25，第4期，233-242（1999）；翻译自Programmirovanie 1999，第4期，68-80（1999）。
MSC公司：60年第68季度 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{S.V.Pankov}和\textit{S.P.Kritskij}，程序。计算。柔和。25，第4号，233--242（1999；Zbl 0972.68113）；译自Programmirovanie 1999，No.4，68-80（1999）
Nepomnyashchij，V.A。;新墨西哥州希洛夫。;E.V.博丹。

通过元素-REAL语言对分布式系统进行规范和验证。 （英语。俄文原件） Zbl 0972.68112号

程序。计算。柔和。 25，第4期，222-232（1999）；译自Programmirovanie 1999，No.4，54-67（1999）。
MSC公司：60年第68季度 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Nepomnyashchij}等人，《计划》。计算。柔和。25，第4222-232号（1999年；Zbl 0972.68112）；译自Programmirovanie 1999，No.4，54-67（1999）
扎哈罗夫，V.A。;Tsarkov，D.V.公司。

计算树逻辑的高效模型检查算法及其在并行程序验证中的应用。 （英语。俄文原件） Zbl 0977.68059号

程序。计算。柔和。 24，第4期，151-161（1998）；译自Programmirovanie 1998，第4期，3-18（1998）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛V.A.Zakharov｝和\textit｛D.V.Tsarkov｝，程序。计算。柔和。24，No.4，151--161（1998；Zbl 0977.68059）；译自Programmirovanie 1998，No.4，3--18（1998）
波德洛夫琴科，R.I。

在递归程序的特殊自动机模型中规划规范形式及其构造。 （英语。俄文原件） Zbl 0909.68120号

程序。计算。柔和。 22，第5期，213-222（1996）；译自Programmirovanie 1996，第5期，3-17页（1996）。
MSC公司：65年第68季度 2005年第68季度 68号01 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.I.Podlovchenko}，程序。计算。柔和。22，第5号，213--222（1996；Zbl 0909.68120）；翻译自Programmirovanie 1996，No.5，3-17（1996）
Yu Karpov。G.公司。;博尔什切夫。;鲁达科夫，V.V。

关于并行算法的正确性。 （英语。俄文原件） Zbl 0909.68116号

程序。计算。柔和。 22，第4期，164-171（1996）；译自Programmirovanie 1996，第4期，5-16（1996）。
MSC公司：60年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Yu.G.Karpov}等人，《程序》。计算。柔和。22，No.4，164--171（1996；Zbl 0909.68116）；译自Programmirovanie 1996，No.4，5--16（1996）
波德洛夫琴科，R.I。

将递归程序的模式转换为等效的自由模式。 （英语。俄文原件） Zbl 0925.68073号

程序。计算。柔和。 20，第6期，233-247（1994年）；译自Programmirovanie 1994，No.6，3-22（1994）。
MSC公司：68号01 2005年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.I.Podlovchenko}，程序。计算。柔和。20，No.6，233--247（1994；Zbl 0925.68073）；翻译自Programmirovanie 1994，第6期，第3-22期（1994年）
普罗琴科，V.S。;尤奇欣，V.V。

VDM规范中的树修改反驳方法。 （英语。俄文原件） Zbl 0875.68636号

程序。计算。柔和。 第1期第18页，第22-30页（1992年）；译自Programmirovanie 1992，No.1，37-48（1992）。
MSC公司：60年第68季度 68N17号 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{V.S.Protsenko}和\textit{V.Yurchishin}，程序。计算。柔和。18，第1号，第22--30条（1992；Zbl 0875.68636）；译自Programmirovanie 1992，No.1，37-48（1992）
波德洛夫琴科，R.I。

具有单调和部分交换算子的程序模式集合中等价性的判定。 （英语。俄文原件） 兹比尔0739.68064

程序。计算。柔和。 16，第5期，180-187（1990）；译自Programmirovanie 1990，No.5，3-12（1990）。
MSC公司：60年第68季度 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{R.I.Podlovchenko}，程序。计算。柔和。16，第5号，180--187（1990；Zbl 0739.68064）；译自Programmirovanie 1990，No.5，3--12（1990）
Goderdzishvili，G.M。;科瓦列夫，V.V。;罗曼纽克，V.A。

一种静态程序正确性检查方法。 （英语。俄文原件） Zbl 0679.68021号

程序。计算。软件 14，No.2，85-90（1988）；译自Programmirovanie 1988，No.2，54-61（1988）。
MSC公司：60年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{G.M.Goderdzishvili}等人，《程序》。计算。柔和。14，No.2，85-90（1988；Zbl 0679.68021）；译自Programmirovanie 1988，No.2，54-61（1988）
北卡罗来纳州米伦科夫。;西蒙诺夫，S.A。

用于分析具有独立交互语句的并行程序中的唯一性和非死锁的算法。 （英语。俄文原件） Zbl 0657.68010号

程序。计算。软件 13，No.5，209-217（1987）；译自Programmirovanie 1987，第5期，18-30（1987）。
MSC公司：60年第68季度 65年第68季度 68N25号
PDF格式BibTeX公司 XML格式引用
\textit{N.N.Mirenkov}和\textit{S.A.Simonov}，程序。计算。柔和。13，No.5，209--217（1987；Zbl 0657.68010）；译自Programmirovanie 1987，No.5，18-30（1987）
Sabel'feld，V.K。;L.V.切尔诺布罗德。

一种分析程序属性的方法。 （英语。俄文原件） Zbl 0645.68019号

程序。计算。软件 13，第4期，154-165（1987）；译自Programmirovanie 1987，第4期，21-34（1987）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.K.Sabel’felfd}和\textit{L.V.Chernobrod}，程序。计算。柔和。13，No.4，154--165（1987；Zbl 0645.68019）；翻译自Programmirovanie 1987，No.4，21-34（1987）
戈尔斯基，L.K。;Karpovskij，E.Ya。;诺维科夫，V.I。;Chizhov，S.A.公司。

支持阶段的软件可靠性评估。 （英语。俄文原件） Zbl 0645.68013号

程序。计算。软件 13，No.2，83-87（1987）；译自Programmirovanie 1987，No.2，85-91（1987）。
MSC公司：60年第68季度 68N99型
PDF格式BibTeX公司 XML格式引用
\textit｛L.K.Gorskij｝等人，程序。计算。柔和。13，No.2，83--87（1987；Zbl 0645.68013）；译自Programmirovanie 1987，No.2，85-91（1987）
阿尼西莫夫。;Safronyuk，S.V.公司。

借助迭代算法对递归进行建模。 （英语。俄文原件） Zbl 0635.68006号

程序。计算。软件 12, 128-138 (1986)；译自Programmirovanie 1986，第3期，38-50（1986）。
MSC公司：60年第68季度 68号01 68页第10页
PDF格式BibTeX公司 XML格式引用
\textit｛A.V.Anisimov｝和\textit｛S.V.Safronyuk｝，程序。计算。柔和。12、128——138（1986年；Zbl 0635.68006）；译自Programmirovanie 1986，No.3，38--50（1986）

筛选结果依据…

全部的 前5名

作者

全部的 前5名

体积

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件