Geum.ru

Новиков Фёдор Александрович Методы алгоритмизации предметных областей Специальность 05. 13. 11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» автореферат

Вид материалаАвтореферат

Содержание


Основные публикации по теме диссертации
Подобный материал:
1   2   3   4

Основные публикации по теме диссертации




  1. Бабаев И. О., Лавров С. С., Новиков Ф. А., Петрушина Т. И. Специализированное программное обеспечение прикладных исследований / Тезисы докладов Всесоюзная конференции "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование". Часть 2. Вильнюс. 1980, с. 7 – 25.
  2. Бабаев И. О., Новиков Ф. А., Петрушина Т. И. Язык Декарт – входной язык системы СПОРА // Прикладная информатика. Выпуск I, М.: Финансы и статистика. 1981, с. 35 – 72.
  3. Бабаев И. О., Лавров С. С., Нецветаева Г. А., Новиков Ф. А., Шувалов Г. М. СПОРА – система программирования с автоматическим синтезом программ / Тезисы докладов III конференции "Применение методов математической логики". Таллин. 1983, с. 29 – 41.
  4. Бабаев И. О., Новиков Ф. А. Средства оформления функционального наполнения ППП в системе СПОРА / Тезисы докладов III Всесоюзной конференции "Автоматизация производства пакетов прикладных программ и трансляторов". Таллин. 1983, с. 62 – 64.
  5. Агамирзян И. Р., Бреслав О. Д., Красинский Г. А., Новиков Ф. А., Скрипниченко В. И. ЭРА — проблемно-ориентируемая система, основанная на табличном подходе / Тезисы докладов III Всесоюзной конференция "Автоматизация производства систем программирования". Таллин. 1986, с. 97 – 99.
  6. Krasinsky G. A., Novikov F. A., Skripnichenko V. I. Problem Oriented Language for Ephemeris Astronomy and its Realization in System ERA // IAU Colloquim 109 Proc., Gaithersburg, 1988; Celestial Mechanics, 1989, v.45, pp. 219 – 229.
  7. Новиков Ф. А. Архитектура системы ЭРА — табличный подход к обработке данных. Сообщения ИПА РАН № 16. 1990, 32 с.
  8. Krasheninnikov S.V., Nazarov A.A., Novikov F.A. Skripnichenko V.I. ASTROTOP: automation of observations storage, retrieval and treatment // Baltic Astronomy. Vol. 6. No 2. 1997, pp. 355, 356.
  9. Крашенинников С. В., Кривоногов А. В., Назаров А. А., Новиков Ф. А., Скрипниченко В. И. Система таблично-ориентированного программирования: 32-разрядная версия. Сообщения ИПА РАН № 122. 1999, 33 с.
  10. Новиков Ф. А. Визуальное конструирование программ // Информационно-управляющие системы. 2005, №6, с. 9 – 22 (список ВАК).
  11. Михеева В. Д., Новиков Ф. А. Скрипниченко В. И. Дельта – язык и система программирования для решения прикладных задач с табличными данными // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. 2007, № 4-2(52), с. 57 – 59 (список ВАК).
  12. Новиков Ф. А. Степанян К. Б. Язык описания диаграмм // Информационно-управляющие системы. 2007, №4, с. 28 – 36 (список ВАК).
  13. Новиков Ф. А. Степанян К. Б. Использование порождающего программирования при реализации языка описания диаграмм // Информационно-управляющие системы. 2008, №6, с. 32 – 35 (список ВАК).
  14. Клебан В. О., Новиков Ф. А. Применение конечных автоматов в документообороте // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. Выпуск 53, Автоматное программирование. 2008, с. 286 – 294 (список ВАК).
  15. Новиков Ф. А., Тихонова У. Н. Определение проблемно-ориентированных языков интерпретируемыми автоматами // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. 2008, № 5(65), с. 93–98 (список ВАК).
  16. Новиков Ф. А., Тихонова У. Н. Применение автоматного программирования для определения проблемно-ориентированных языков // Труды ИПА РАН. Вып. 19. 2008, с. 174 – 183.
  17. Новиков Ф. А., Новосельцев В. Б. Предварительное сообщение о языке исполняемых программных спецификаций // Программные продукты и системы. 2009, № 2, c. 107 – 111 (список ВАК).
  18. Новиков Ф. А., Новосельцев В. Б. Язык исполняемых программных спецификаций // Программирование. 2010, №1, с. 66 – 78 (список ВАК).
  19. Новиков Ф. А., Тихонова У. Н. Автоматный метод определения проблемно-ориентированных языков (Часть 1) // Информационно-управляющие системы. 2009, № 6, с. 34 – 40 (список ВАК).
  20. Новиков Ф. А., Тихонова У. Н. Автоматный метод определения проблемно-ориентированных языков (Часть 2) // Информационно-управляющие системы. 2010, № 2, с. 31 – 37 (список ВАК).
  21. Новиков Ф. А., Тихонова У. Н. Автоматный метод определения проблемно-ориентированных языков (Часть 3) // Информационно-управляющие системы. 2010, № 3, с. 29 – 37 (список ВАК).




1 Ward M.P. Language Oriented Programming // Software – Concepts and Tools. 1994, Vol. 15, No. 4, pp. 147 – 161.

2 Оллонгрен А. Определение языков программирования интерпретирующими автоматами. М.: Мир, 1977, 288 с.

3 Непейвода Н. Н. Семантика алгоритмических языков. // Итоги науки и техн. Сер. Теор. вероятн. Мат. стат. Теор. кибернет., 20. ВИНИТИ. М.: 1983, с. 95 – 166

4 Лавров С. С. Программирование. Математические основы, средства, теория. СПб.: БХВ-Петербург, 2001. 317 с.

5 Поликарпова Н. И., Шалыто А. А. Автоматное программирование. СПб.: Питер, 2010. 176 с.

6 Мейер Б. Объектно-ориентированное конструирование программных систем. М.: Русская Редакция, 2005. 1204 с.

7 Ershov A. P. Mixed Computation: Potential Applications and Problems for Study // Theoretical Computer Science, Vol. 18, Issue 1, April 1982, pp. 41 – 67.

8 Тыугу Э. Х. Концептуальное программирование. М.: Наука, 1984, 256 с.

9 В таблице указаны основные организации и продолжительность практического применения разработки.