编程与计算机软件,第35卷
第35卷第1期,2009年1月
E.Z.柳比姆斯基 :
在建设项目社区的道路上。 2-5 V.P.伊万尼科夫 , Arutyun Avetisyan公司 , 谢尔盖·盖萨扬 , M.S.Akopyan先生 :
在开发环境ParJava中实现并行程序解释器。 6-17 V.N.科瓦伦科 , D.A.Koryagin博士 :
网格:分析基本原理和应用方式。 18-34 伊戈尔·S·阿努雷耶夫 :
正式编程语言规范的操作本体方法。 35-42 E.V.库兹明 , 瓦列里·索科洛夫 , D.朱。 恰雷 :
跟踪断言方法在自动机程序的规范、设计和验证中的应用。 43-55
第35卷第2期,2009年3月
谢尔盖·阿布拉莫夫 , 阿拉·波哥卢布斯卡娅 , V.A.罗斯托夫采夫 , 维克托·埃德内尔 :
2007-2008年计算机代数研究研讨会。 57-62 R.Kragler公司 :
关于“穷人积分器”实现Risch-Norman算法的数学程序。 63-78 N.N.瓦西里耶夫 , D.A.巴甫洛夫 :
有限单项式序的枚举和泛Gröbner基的组合。 79-89 弗拉基米尔·普·格特 , 米哈伊尔·维·津宁 :
对合准则在计算布尔Gröbner基中的作用。 90-97 A.V.Purgin公司 :
线性常微分算子右因子的分配格。 98-104 E.N.多尔戈瓦 , A.V.切尔诺夫 :
反编译问题中数据类型的自动重建。 105至119
第35卷第3期,2009年5月
G.G.赫拉钦 :
非类型化函数程序的基本语义。 121-135 德米特里·列夫申 , A.S.马尔科夫 :
PostgreSQL与语义网集成的算法。 136-144 S.G.格罗舍夫 :
通过构造减少的跟踪来定位错误。 145年至157年 N.S.瓦西里耶娃 :
基于内容的图像检索方法。 158-180
第35卷第4期,2009年7月
S.D.马霍托夫 :
类型格上的LP结构和一些重构问题。 183-189 S.M.阿查索娃 :
细胞自生结构的程序构造程序。 190-197 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 :
具有优先级的系统:一致性、测试和组成。 198-211 维克托·库利亚明 :
程序系统验证方法的集成。 212-222 Arutyun Avetisyan公司 , 谢尔盖·盖萨扬 , 瓦瓦拉·巴布科娃 :
ParJava环境中并行程序的迭代开发。 第223页至第234页 帕维尔·P·奥利尼克 :
在基于RDBMS的对象系统中实现原子文字类型的层次结构。 235-240
第35卷第5期,2009年9月
米哈伊尔·科加洛夫斯基 , 列奥尼德·卡里尼琴科 :
信息系统中的概念和本体建模。 241-256 谢尔盖·库兹涅佐夫 , 于。 A.库德拉夫采夫 :
OLAP多维数据集的数学模型。 257-265 马尔斯·瓦利耶夫 , 迈克尔·德克蒂亚 , 亚历山大·贾。 迪科夫斯基 :
由逻辑程序控制的代理系统:验证的复杂性。 266-281 D.Yu。 基奇金 :
一种回归集成测试的测试集约简方法。 282-290 亚历山大·俞。 德罗兹多夫 :
构建优化编译器的组件方法。 291-300
第35卷第6期,2009年11月
伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 :
有限不确定性系统的完全开放状态测试。 301-313 瓦迪姆·S·穆提林 :
程序接口的多线程测试。 314-320 亚历山大·俞。 德罗兹多夫 , S.V.诺维科夫 :
基于优化编译器构造的组件技术的程序自动并行器。 321-339 阿列克谢·博索夫 :
信息门户网站功能的建模和优化。 340-350 德米特里·瓦托林 , 谢尔盖·格里申 :
基于双向运动补偿的视频帧速率双上转换。 351-364