×

找到18个文档(结果1-18)

开发基于自动代码生成的软件系统。 (英语。俄文原件) Zbl 1452.68054号

程序。计算。柔和。 42,第3期,167-173(2016); 译自Programmirovanie 42,No.3,55-63(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用为单参数模型开发的方法分析程序的双参数代数模型。 (英语。俄文原件) Zbl 1323.68224号

程序。计算。柔和。 40,第3期,107-116(2014); 译自Programmirovanie 40,No.3(2014)。
MSC公司:68号30 2005年第68季度 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于为具有超时的非确定性有限状态机派生测试套件。 (英语。俄文原件) Zbl 1252.68080号

程序。计算。柔和。 38,第3期,127-133(2012); 译自Programmirovanie 38,No.3(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于程序代数模型的等价性检查技术。 (英语。俄文原件) Zbl 1251.68105号

程序。计算。柔和。 37,第6期,292-298(2011); 译自Programmirovanie 37,No.6(2011)。
MSC公司:2005年第68季度 第68季度第45季度 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

程序。计算。柔和。 36,第3期,125-137(2010); 译自Programmirovanie 36,No.3(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

遍历有向图的无冗余算法:确定性情况。 (英语。俄文原件) Zbl 1101.68721号

程序。计算。柔和。 29,第5期,245-258(2003); 译自Programmirovanie 29,No.5,11-30(2003)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在递归程序的特殊自动机模型中规划规范形式及其构造。 (英语。俄文原件) 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格式引用

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格式引用

筛选结果依据…

全部的 前5名

出版年份

主字段