Kasyanov
V.N., Evstigneev V.A. Graph Theory for Programmers. Algorithms for Processing
Trees, Beijing, Kexue Publishing, 2006, 432 P.
Андрей Петрович Ершов -
ученый и человек, Новосибирск: Изд-во СО РАН, 2006.
Костюкова Н.И.,
Калинина Н.А. Язык Си и особенности работы с ним: Учебное пособие. - Москва, Интернет- Университет
информационных технологий; БИНОМ. Лаборатория знаний, 2006, 207с.
T.А.Андреева.
Программирование на языке Паскаль. - М.: «Интернет-университет информационных
технологий. » Учебный курс. 2006, 240с.
Центральные издания
Непомнящий
В.А., Ануреев И.С., Промский А.В., Дубрановский И.В.
На пути к верификации C#-программ: трехуровневый подход // Программирование. - № 4. - 2006.
Непомнящий
В.А., Ануреев И.С., Промский А.В. На пути к верификации C-программ. Язык
С-light и его трансформационная семантика // Проблемы программирования. - Киев .- 2006. - № 2-3.- С. 359-368.
Гаранина Н.О., Шилов Н.В. Верификация комбинированных логик
знаний, действий и времени в моделях // Системная информатика, выпуск 10, СО
РАН. - С. 114-173. - 2006.
Бухгольц,
П., Тарасюк, И.В. Эквивалентности для стохастических сетей Петри и алгебр
стохастических процессов. Вестник Новосибирского государственного университета,
Серия: Математика, механика и информатика 6(1), с. 14-42, Новосибирский
государственный университет, Новосибирск, 2006.
Касьянова Е.В. Адаптивные технологии дистанционного обучения
программированию // Современные проблемы науки и образования. - 2006. - N 2. -
С. 92 - 93.
Касьянова
Е.В., Касьянова С.Н. Опыт преподавания информатики в старших классах с математическим уклоном // Современные
проблемы науки и образования. - 2006. - N 2. - С. 91 - 92.
Stasenko A.P. Sisal 3.1 language structures
decomposition // Bulletin of the Novosibirsk Computing Center. - Novosibirsk:
NCC Publisher, 2006. - Issue 24. - 8 P.
Elena Botoeva, Yuri Kostov, Evgueni Petrov. A reliable linear
constraint solver for the UniCalc system. // Joint Bull. Of NCC&IIS. Ser.:
Comput. Sci. - 2006. - Is. 24. - P. 101-111.
Загорулько
Ю.А., Боровикова О.И., Холюшкин Ю.П. Построение предметной онтологии для
археологического портала. // Информационные технологии в гуманитарных
исследованиях. Вып. 10. - Новосибирск, Изд. НГУ, 2006, -с. 24-30. ISSN 1990-9330.
Сидорова
Е.А., Загорулько Ю.А., Боровикова О.И. Подход к автоматизации извлечения
информации из текстов по археологии // Информационные технологии в гуманитарных
исследованиях. Вып. 11. - Новосибирск, Изд. НГУ, 2006, -с. 1-8. ISSN 1990-9330.
Тараскина
А.С., Черемушкин Е.С. Обработка микрочиповых данных с помощью алгоритма
нечеткой кластеризации. // Вычислительные методы и программирование. Москва,
МГУ, 2006, СС 126-131.
Зарубежные издания
Selivanov V.L. The algebra of labeled forests modulo homomorphic
equivalence // Proc. Conference on Computability in Europe - 06, University of Swansea, Report series, 2006, P.241-250.
Selivanov V.L., Fine hierarchy of regular aperiodic ω-languages // Technical report No 390, Institute of Informatics,
University of Wurzburg, 2006, 21 p.
Shilov N.V., Garanina N. O., and Choe K.M. Update and
Abstraction in Model Checking of Knowledge and Branching Time // Fundameta
Informaticae, v.72, № 1-3, 2006, pp.347-361.
Andreeva M.V., Virbitskaite I.B. Observational Timed Equivalences
for Timed Stable Event Structures // Fundamenta Informaticae. IOS Press. - V.
72. - 2006. - P. 1-19.
Kasyanov V.N., Stasenko A.P., Gluhankov M.P., Dortman P.A., Pyjov
K.A., Sinyakov A.I. SFP - an Interactive Visual Environment for Supporting of
Functional Programming and Supercomputing //WSEAS Transactions on Computers,
2006, Vol.5, Issue 9, p.2063-2069.
Dobrynin A.A., Mel'nikov L.S. Wiener index of generalized stars
and their quadratic line graphs // Disc. Math. Graph Theory. - 2006. - Vol. 26,
N 1. - P. 161-175.
Dobrynin A.A., Mel'nikov L.S. Counterexamples to
Grotzsch-Sachs-Koester's conjecture // Discrete Math. - 2006. - Vol. 306. - P.
591-594.
Y. Zagorulko, O. Borovikova. An Adjustable Knowledge Internet
Portal for Support of Research and Business Activity // Exploiting the
Knowledge Economy: Issues, Application and Case Studies, Cunningham and
M.Cunningham (Eds.), IOS Press, 2006, Volume 3: Information and Communication
Technologies and the Knowledge Economy Series, Part 2, pp.1375-1381.
Kel, A., Konovalova, T., Valeev, T., Cheremushkin, E.,
Kel-Margoulis, O., Wingender, E. Composite Module Analyst: a fitness-based
tool for identification of transcription factor binding site combinations. //
Bioinformatics. - 2006. - Vol. 22(10). - P. 1190-1197.
Valeev, T., Shtokalo, D., Konovalova, T., Voss, N.,
Cheremushkin, E., Stegmaier, P., Kel-Margoulis, O., Wingender, E., Kel, A.
Composite Module Analyst: identification of transcription factor binding site
combina-tions using genetic algorithm. // Nucleic Acids Research. - 2006. -
Vol. 34(Web Server issue). - P. 541-545.
Материалы международных конференций
Nepomniaschy V.A., Anureev I.S., Dubranovsky I.V., Promsky A.V.
Towards C# program verification: C#-kernel and its axiomatic semantics // Proc.
Workshop on Concurrency, Specification and Programming (CS&P'2006),
Humboldt University, Berlin, 2006.
Anureev I.S. An Approach to Formal Human-Oriented Specifications of
Programming Languages // Proc. Workshop on Concurrency, Specification and
Programming (CS&P'2006), Humboldt University, Berlin, 2006.
Selivanov V.L., Kudinov O.V. Undecidability in the homomorphic
quasiorder of finite labeled forests // Proc. Conf.on Computability in
Europe-2006, Lecture Notes in Computer Science, v. 3988, 2006, 289--296.
Korovina M., Vorobjov N., Upper and Lower Bounds on Sizes of Finite
Bisimulations of Pfaffian Hybrid Systems // Proc. CiE'06, Lecture Notes in
Computer Science 3988, p. 267- 276, 2006.
Korovina M., Vorobjov N. Satisfiability of Viability Constraint for
Pfaffian Hybrid Systems, accepted // Proc. PSI'06, Lecture Notes in Computer
Science, 2006.
Choe K.M., Eo H., O S., Shilov N.V., and Yi K. Proofs about
folklore: why model checking = reachability? Has been accepted for publication
in the proceedings of the 9th Asian Logic Conference ALC-9 to be published by
World Scientific, 10 p. 2006.
7.Shilov N.V., Garanina N. O. Well-structured Model Checking of
Multiagent Systems. Has been accepted for publication in the proceedings of
A.P. Ershov International Conference Perspectives of System Informatics PSI'06
to be published by Springer in Lecture Notes in Computer Science series, 14 p.,
2006.
Shilov N.V., Garanina N. O., and Anureev I.S. Combining
Propositional Dynamic Logic with Formal Concept Analysis. Has been accepted for
publication in the proceedings of Workshop on Concurrency Specification &
Programming CS&P'06 to be published by Humboldt University Berlin, 10 p., 2006.
Dubtsov. R.S. Real-Time Stable Event Structures and Marked Scott
Domains: An Adjunction. // Proc. PSI'06, 2006, p.
268-273.
Dubtsov.
R.S. Semantics Domains for Real-Time Event Structures // Proc. CS&P'05, Germany, 2006.
Kasyanov
V.N. An open adaptive virtual museum of informatics history in Siberia SORUCOM
2006: Развитие вычислительной техники в России и странах бывшего СССР: История и перспективы: Материалы межд. конф. - Петрозаводск: ПГУ, 2006. - Часть
2. - С.35-40.
Касьянов В.Н., Мирзуитова И.Л. Реструктурирующие преобразования: алгоритмы распараллеливания
циклов // Труды Международной конференции "Вычислительные и информационные
технологии в науке и образовании", Павлодар, 2006, Том 1, С. 598-605.
Yrysgul
Tursunbay kysy. A fully dynamic algorithm for recognizing and representing
chordal graps // Perspectives of System Informatics. Sixth Intern. Andrei
Ershov Memorial Conf., Novosibirsk, 2006, p.295-298.
Касьянова Е.В. WAPE -
адаптивная система поддержки дистанционного обучения программированию // Труды
Международной конференции. «Вычислительные и информационные технологии в науке
и образовании». - Павлодар, 2006. - Том 1. - С. 606 - 615.
Kasyanov
V. SVM - an open adaptive virtual museum of informatics history in Siberia // International Co-operation: University and Region. Materials of Intern. Conf.of
the Educational Programme TEMPUS/TASIC "International Integration of
Tyumen Region", TSU Press, 2006, p.32-34.
Kasyanov
V.N. A functional programming system for supporting parallel programming //
Proc. of the 10th WSEAS Intern. Conf. on Computer, Athens, 2006, p.1125-1127.
Kasyanov
V.N. A System for Investigation of Regulatory Processes and Control Systems on
the Genome Level // Proc. of the 10th WSEAS Intern. Conf. on Computer, Athens, 2006, p.1153-1155.
Касьянов В.Н. А.П.
Ершов и графы в программировании // SORUCOM 2006: Развитие вычислительной
техники в России и странах бывшего СССР: История и перспективы: Материалы
международной конференции - Петрозаводск: ПГУ, 2006. - Часть 2. - С.35.
Kasyanov
V.N. Development of algorithms and intelligent software for investigation of
regulatory processes and control systems on the genome level // Intern.
Congress of Mathematicians. Abstracts. Posters, Short Communications,
Mathematical Software, Other Activities. Madrid: EMS, 2006, P. 497-498.
Kasyanov
V.N. Development of algorithms and intelligent software for investigation of
regulatory processes and control systems on the genome level // Intern.
Congress of Mathematicians. Abstracts. Posters, Short Communications,
Mathematical Software, Other Activities. Madrid: EMS, 2006, P. 497-498.
Касьянова Е.В.
Адаптивные методы и средства поддержки дистанционного обучения программированию
// Шестая международная конференция памяти А.П. Ершова "Перспективы
систем информатики". Секция "Информатика образования". Доклады и
тезисы. - Новосибирск, ИСИ СО РАН, 2006. - С. 28 - 31.
Касьянова Е.В.
Адаптивные методы и средства дистанционного обучения // Современные ценности и
эффективность моделей образовательных систем. Материалы Международной
научно-практической конференции. - Новосибирск: Изд-во НИПКиПРО, 2006. - Часть
2. - С. 97 - 100.
Турсунбай кызы
Ырысгуль. О раскраске графов // SORUCOM 2006: Развитие вычислительной техники в
России и странах бывшего СССР: История и перспективы: Материалы международной
конференции - Петрозаводск: ПГУ, 2006. - Часть 2. - С.125.
Yury
Zagorulko, Jawed Siddiqi, Babak Akhgar and Olesya Borovikova. A Knowledge
Portal for Cultural Information Resources: Towards an Architecture //
Perspectives of System Informatics (PSI-06): Proc. / Ed. by I. Virbitskaite, A.
Voronkov, -Berlin a.o. : Springer-Verlag, 2006. -P. 486-493. - (Lect. Notes
Comput. Sci.; 4378).
Загорулько Ю.А.,
Боровикова О.И. О построении онтологий для портала научных знаний // VI
международная конференция «Интеллектуальный анализ информации ИАИ-2006», Киев,
16-19 мая 2006 г. Сборник трудов под редакцией Т.А. Таран - Киев, Просвита,
2006, - с. 121-128.
Сидорова Е.А. Подход
к описанию фактов для задачи фактографического анализа текста // VI
международная конференция «Интеллектуальный анализ информации ИАИ-2006» , Киев,
16-19 мая 2006 г. Сборник трудов под редакцией Т.А. Таран - Киев: Просвита,
2006. -С.252-261.
Загорулько Ю.А.,
Кононенко И.С., Сидорова Е.А. Семантический подход к анализу документов на
основе онтологии предметной области // Компьютерная лингвистика и
интеллектуальные технологии: Труды международной конференции Диалог'2006
"Компьютерная лингвистика и интеллектуальные технологии". - М.: Изд.
РГГУ, 2006. - С.468-473.
Загорулько Ю.А.,
Боровикова О.И., Кононенко И.С., Сидорова Е.А. Подход к построению предметной
онтологии для портала знаний по компьютерной лингвистике // Компьютерная
лингвистика и интеллектуальные технологии: Труды международной конференции
«Диалог 2006» (Бекасово, 31 мая - 4 июня 2006 г.). - Москва: Изд-во РГГУ, 2006.
-С. 148-151.
Ю.А. Загорулько
Проблемы построения онтологий для портала научных знаний // Вторая
международная конференции по когнитивной науке (9-13 июня 2006,
Санкт-Петербург). Сборник трудов. Санкт-Петербург, 2006. Том 2. -С. 578-579.
О.А. Андреева, О.И.
Боровикова, С.В. Булгаков, Ю.А. Загорулько, Е.А. Сидорова, Б.Г. Циркин, Ю.П.
Холюшкин. Археологический портал знаний: содержательный доступ к знаниям и
информационным ресурсам по археологии // Труды 10-й национальной конференции по
искусственному интеллекту с международным участием - КИИ'2006. -Москва:
Физматлит, 2006. -Т.3. -С.832-840.
Yury
Zagorulko, Jawed Siddiqi, Babak Akhgar and Olesya Borovikova. A Knowledge
Portal for Cultural Information Resources: Towards an Architecture //
Perspectives of System Informatics (Preliminary Proc. of Sixth International
Andrei Ershov Memorial Conference PSI'06). -Novosibirsk, June 27-30, 2006.
-P.299-305.
Е.С. Петров, Ю.В. Костов, Е.Ю. Ботоева. Модуль для решения линейных ограничений в системе UniCalc
// Тр. 8-й междунар. конф. «Проблемы управления и моделирования в сложных
системах» под ред. акад. Федосова Е.А., акад. Кузнецова Н.А., акад. Виттиха
В.А. - Самара: Самарский научный центр РАН, 2006. -572с. ISBN 5-93424-227-X.
Петров Е.С.
Вычисление интервального расширения степенной функции методом декомпозиции
графика // Расширенные тезисы докладов Всероссийского совещания по интервальному
анализу и его приложениям Интервал-06, -С.110-114, -СПб: ВВМ, 2006, -159с. ISBN
5-9651-0220-8.
Ботоева Е.Ю., Костов
Ю.В., Петров Е.С. Универсальный решатель UniCalc // Материалы VI международной
конференции «Перспективы систем информатики», Новосибирск, 2006. -С.42-45.
Ю.А. Загорулько, С.В.
Пискунов, О.И. Боровикова, М.Б. Остапкевич. Распределенная Интернет-система
формирования и поддержки // Труды VII международной конференции*инновационных
проектов "Проблемы управления и моделирования в сложных системах" -
Самара: Самарский Научный Центр РАН, 2006. -С. 427-432.
Ю.А. Загорулько, О.А.
Андреева, О.И. Боровикова, С.В. Булгаков, Е.А. Сидорова. Организация
содержательного доступа к систематизированным знаниям и информационным ресурсам
заданной // Труды VIII международной конференции*предметной области
"Проблемы управления и моделирования в сложных системах" - Самара:
Самарский Научный Центр РАН, 2006. -С. 433-438.
Гончар А.М., Загорулько Г.Б., Рубан М.Н., Рябков А.Н. Интеллектуальная система сопровождения
профилактики и лечения элементозов // Информационный бюллетень рабочего
семинара «Наукоемкое программное обеспечение», - С.48-51, -Новосибирск: ИСИ СО
РАН, 2006, -128с.
Гончар А.М., Загорулько Г.Б., Рубан М.Н., Рябков А.Н. Экспертная система поддержки
диагностики, профилактики и лечения элементозов на основе коррекции питания //
Труды 10-й национальной конференции по искусственному интеллекту с
международным участием - КИИ'2006. -Москва: Физматлит, 2006. -Т.3. -С.849-857.
Загорулько Г.Б.,
Рябков А.Н., Загорулько Ю.А., Гончар А.М. Интеллектуальная система профилактики
и устранения дисбаланса элементов в организме человека // Труды 3-й
международной конференции «Информационные технологии, системы и приборы в АПК»
- С.169-172, -Новосибирск, 2006, -Т.1 -526с.
Н.А. Калинина
Методология построения специализированных систем компьютерной алгебры.
Труды международной конференции "Вычислительные и информационные
технологии в науке, технике и образовании", I том - Павлодар: ТОО
НПФ "Эко", 2006, с. 558-567.
Л.В. Городняя, Н.А.
Калинина. Организация практикума для дистанционного обучения программированию
// Материалы VI международной конференции «Перспективы систем информатики»,
Новосибирск, 2006. - с. 86-90
Тихонова Т.И.
//Предпрофессиональное обучение программированию//Тезисы XI международной
научно-методической конференции. - Кемерово, 2006. - с. 103-104
Марчук А.Г., Тихонова
Т.И.,. Городняя Л.В. Новосибирская школа юных программистов. //Материалы
международной конференции «Развитие вычислительной техники в России и странах
бывшего СССР: история и перспективы». - Петрозаводск, 2006. - часть 2, с.
117-124
Тихонова Т.И. Работа
с одаренными детьми в области программирования и информационных технологий //
Материалы VI международной конференции «Перспективы систем информатики»,
Новосибирск, 2006. - с. 86-90
Перкова В.Г.,
Сапрыкин Э.Э., Сапрыкина Г.А., Тихонова Т.И.. Дистанционное обучение в
контексте развития творческих способностей школьников.//Материалы VI
международной конференции «Перспективы систем информатики», Новосибирск, 2006,
- с. 69-73
Соседкина Н.В.,
Тихонова Т.И. Система работы с будущими программистами: начальный этап.
\\Материалы VI международной конференции «Перспективы систем информатики»,
Новосибирск, 2006. , С. 84-86
Соседкина Н.В.
Изучаем информатику в диалоге. \\Материалы VI международной конференции
«Перспективы систем информатики» - Новосибирск, 2006., С. 82-84
Miginsky
D.S., Sokolov S.A., Labuzhsky V.V., Nikitin A.G., Tarancev I.G. Object-Oriented
Approach to Bioinformatics Software Resources Integration// Proceedings Of The
Fifth International Conference On Bioinformatics Of Genome Regulation And
Structure (BGRS'2006), 2006, V.3, P.288-291. ISBN 5-7692-0848-1
А.А. Берс. - Принципы
целостности и информационной замкнутости и методологическое обоснование
освоения информатики. //Шестая международная конференция «Перспективы систем
информатики» (27-30 июня 2006), секция "Информатика образования",
Доклады и тезисы. 2006, Новосибирск, стр.4-6.
А.А.Берс. - Рабочая
станция «МРАМОР». //SORUCOM.2006: Развитие вычислительной техники в России и
странах бывшего СССР: история и перспективы. материалы междунар.конф (3-7 июля
2006г.): в 2ч. Ч.1.- Петрозаводск, 2006. стр.120-127.
А.А. Берс. -
Электронная подготовка изданий. //SORUCOM.2006: Развитие вычислительной техники
в России и странах бывшего СССР: история и перспективы. Материалы междунар.
конф (3-7 июля 2006г.): в 2ч. Ч.1.- Петрозаводск, 2006. стр.128-134.
Л.В.Городняя,
Н.А.Калинина. - Организация практикума для дистанционного обучения
программированию. // Материалы VI международной конференции «Перспективы систем
информатики», Новосибирск, 2006. , стр.20-21.
Т.С.Васючкова, Л.В.Городняя, М.М.Лаврентьев, А.Г.Марчук, Т.Г.Чурина. - Сотрудничество науки и
образования в условиях информатизации общества // Материалы VI международной
конференции «Перспективы систем информатики», Новосибирск, 2006. , стр.8-13.
А.Г. Марчук, Т.И.
Тихонова, Л.В. Городняя. - Новосибирские школы юных программистов. Методика
успеха и перспективы развития. // Материалы междунар. конф (3-7 июля 2006г.): в
2ч. Ч.1.- Петрозаводск, 2006. стр.117-124.
Л.В. Городняя,
И.А.Крайнева. - Пакет прикладных программ автоматизации школьного учебного
процесса «ШКОЛЬНИЦА». // Материалы междунар. конф (3-7 июля 2006г.): в 2ч.
Ч.1.- Петрозаводск, 2006. стр.22-23.
Е.Н. Боженкова, Т. В.
Нестеренко, Т.Г. Чурина Методика подготовки Открытой Всесибирской олимпиады по
программированию им. И.В. Поттосина // Материалы VI международной конференции
«Перспективы систем информатики», Новосибирск, 2006. стр. 6-8.
Cheremushkin,
E., Konovalova, T., Valeev, T., Shtokalo, D., Taraskina A. CisSearch: Software
Package For Complex Analysis Of Gene Regulatory Sequences. // Proc. of the 3rd
Annual RECOMB Satellite Workshop on Regulatory Genomics, Singapore, Jul. 17-18, 2006. - Singapore, 2006. - P. 100-108.
Cheremushkin,
E., Konovalova, T., Valeev, T., Shtokalo, D., Taraskina, A. Software Package
for Complex Analysis of Gene Regulatory. // Proc. of the 3rd International
Conference «Genomics, Proteomics, Bioinformatics and Nanotechnologies for
Medicine», Novosibirsk, Jul. 12-16, 2006. - P. 97.
Cheremushkin
E.S., Konovalova T.G., Valeev T. F., Shtokalo D.N., Taraskina A.S. CisSearch
software package for analysis of regulatory sequences in DNA. Workshop on
Science Intensive Applied Software «PSI'06», the 26-27 of June, 2006, Novosibirsk, Academgorodok, p.111-114.
Golosov
K., Cheremushkin, E., Konovalova T., Jeff Holmes. Recognition of Mutations in
Sequences of DNA of the Certain Genetic Lines of Organism C. Elegans // 3rd
International Conference.Genomics, Proteomics, Bioinformatics and
Nanotechnologies for Medicine., Novosibirsk, Russia July 12-16, 2006 P. 104.
Taraskina
A., Cheremushkin, E. Clustering of Microarray Data with the Modified Fuzzy
C-means Method // 3rd International Conference.Genomics, Proteomics,
Bioinformatics and Nanotechnologies for Medicine., Novosibirsk, Russia . July 12-16, 2006 . P. 121.
Черёмушкин Е. С., Валеев Т. Ф., Коновалова Т. Г., Штокало Д. Н., Голосов К. В., Кель А. Э.
ExPlain: программная система по анализу микрочипов и поиску ключевых молекул.
// Тез. докл. Шестой международной конференции «Перспективы систем
информатики», рабочий семинар «Наукоёмкое программное обеспечение»,
Новосибирск, 28-29 июня 2006. - С. 106-110.
Черёмушкин Е. С.,
Коновалова Т. Г., Валеев Т. Ф., Штокало Д. Н., Тараскина А. С. Пакет программ
CisSearch для анализа регуляторных последовательностей ДНК. // Тез. докл.
Шестой международной конференции «Перспективы систем информатики», рабочий
семинар «Наукоёмкое программное обеспечение», Новосибирск, 28-29 июня 2006. -
С. 111-114.
Батура Т.В., Мурзин
Ф.А. Машинно-ориентированные методы анализа текста на естественном языке. PSI,
Наукоемкое программное обеспечение, 2006. - С. 33-34.
Валеев Т. Ф., Мурзин
Ф. А. Исследование преимуществ кодирования видеопоследовательностей посредством
интерполяционного подхода. PSI, Наукоемкое программное обеспечение, 2006. - С.
86-88.
Винокуров А.А., Ильин
И.В., Лобив И.В., Мурзин Ф.А., Семич Д.Ф. Алгоритмы и программные системы для
интерпретации данных радиоактивного каротажа нефтянных скважин // PSI,
Наукоемкое программное обеспечение, 2006. - С. 45-47.
Тараскина А.С.,
Черемушкин Е.С., Мурзин Ф.А. Вейвлет-анализ и кластеризация генетических
последовательностей. PSI, Наукоемкое программное обеспечение, 2006. - С. 91-94.
Черемушкин Е.С., Мурзин Ф.А. Анализ последовательностей ДНК с помощью кода Голея. PSI,
Наукоемкое программное обеспечение, 2006. - С. 115-119.