Удк 004. 4’2  парадигма автоматного программирования 




PDF просмотр
НазваниеУдк 004. 4’2  парадигма автоматного программирования 
страница1/140
Дата конвертации03.10.2012
Размер887 b.
ТипДокументы
  1   2   3   4   5   6   7   8   9   ...   140

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ 
ФЕДЕРАЦИИ 
 
ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ 
 
САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ 
ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ, МЕХАНИКИ И ОПТИКИ  
 
 
 
 
 
НАУЧНО-ТЕХНИЧЕСКИЙ 
ВЕСТНИК 
 
САНКТ-ПЕТЕРБУРГСКОГО ГОСУДАРСТВЕННОГО 
УНИВЕРСИТЕТА ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ, 
МЕХАНИКИ И ОПТИКИ  
 
Выпуск 53 
  
АВТОМАТНОЕ 
ПРОГРАММИРОВАНИЕ 
 
 
 
 
 
 
 
САНКТ-ПЕТЕРБУРГ 
 
2008 
 

ISSN 1819-222X 
 
ГЛАВНЫЙ РЕДАКТОР  
 профессор В.О. Никифоров 
 
РЕДАКЦИОННАЯ КОЛЛЕГИЯ 
проф. А.А. Бобцов, проф.  А.В. Бухановский, проф. В.А. Валетов,  
проф. Т.А. Вартанян, д.т.н. М.А. Ган, проф. Ю.А. Гатчин,  
проф. А.В. Демин, доц. Н.С. Кармановский (зам. главного  редактора), 
проф. С.А. Козлов, проф. А.Г. Коробейников, проф. В.В. Курейчик,  
д.т.н. Л.С. Лисицына, доц. В.Г. Мельников, проф. Ю.И. Нечаев,  
проф. Н.В. Никоноров, проф. А.А. Ожиганов, проф. Е.Ю. Перлин,  
проф. И.Г. Сидоркина, проф. О.А. Степанов, проф. В.Л. Ткалич,  
проф. А.А. Шалыто 
 
Секретарь Г.О. Котелкова 
Редактор Н.Ф. Гусарова 
 
Адрес: 197101, Санкт-Петербург, Кронверкский пр., 49, СПбГУ ИТМО 
Телефон: (812) 233 12 70 
Факс: (812) 233 12 70 
http: //books.ifmo.ru/ntv 
E-mail:karmanov@mail.ifmo.ru 
 
 
 
Подписано к печати 10.04.2008         Тираж 100 экз.  Заказ № 1(53) 
 
 
Отпечатано в Центре распределенных издательских систем  
Адрес: 197101, Санкт-Петербург, Кронверкский пр., 49 
 
 
 
© Санкт-Петербургский государственный университет  
информационных технологий, механики и оптики, 2008 


ВВЕДЕНИЕ 
В АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ
 
УДК 004.4’2 
ПАРАДИГМА АВТОМАТНОГО ПРОГРАММИРОВАНИЯ 
А.А. Шалыто 
(Санкт-Петербургский государственный университет информационных технологий, механики и оптики) 
 
В статье приводятся основные положения автоматного программирования и обосновываются преимуще-
ства  его  использования  при  разработке  программного  обеспечения.  Описываются  инструментальные 
средства для поддержки автоматного программирования и приводятся примеры успешного применения 
предлагаемого подхода на практике. В статье описывается процедурное программирование с явным вы-
делением  состояний  и  объектно-ориентированное  программирование  с  явным  выделением  состояний. 
Автоматные  программы  могут  быть  эффективно  верифицированы,  а  для  их  построения  в  ряде  случаев 
могут быть применены генетические алгоритмы.  
Ключевые  слова:  парадигма  программирования,  автоматное  программирование,  программирование  с 
явным выделением состояний 
 
Введение 
 
Большинство  программистов-практиков  считает,  что  в  программировании  нет 
особых  проблем. «Отсутствие»  проблем  приводит  к  тому,  что  на практике  при  созда-
нии программного обеспечения (ПО) в большинстве случаев используются частные (ad 
hoc
 – экспромт  или  спонтанное  решение)  подходы,  основанные  на  опыте  программи-
стов.  Если  трудности  при  создании  программ  и  возникают,  то  их  смиренно  считают 
«неизбежным  злом  профессии».  Тот  факт,  что  при  таком  подходе  достаточно  много 
проектов заканчивается неудачно, не изменяет точку зрения большинства. 
Принципиально  другое  мнение  у  теоретиков  программирования,  которые  еще  в 
1968 г. «открыто признали кризис программного обеспечения» [1]. Однако в настоящее 
время  это  иногда  оспаривается.  Так,  например,  профессора  Н.  Вирт  и  Ю.  Гутхнехт  на 
пресс-конференции,  посвященной  избранию  в 2005 г.  создателя  «Паскаля»  Почетным 
доктором  СПбГУ  ИТМО (http://is.ifmo.ru/belletristic/_wirth_poch.pdf), утверждали,  что 
они не видят проблем в программировании, оговорившись, правда, что сказанное не от-
носится к программированию драйверов, которые обладают сложным поведением (отме-
тим, что именно вопросам реализации такого поведения и посвящена настоящая статья)
Несмотря на наличие у некоторых влиятельных ученых таких взглядов, многие теорети-
ки считают, что указанный кризис продолжается, и они стали искать выход из него в пе-
реходе  от  «искусства  программирования» [2] к  программной  инженерии (Software 
Engineering)
 [3, 4], которой,  в  частности,  активно  занимается  «наследник»  Н.  Вирта  по 
кафедре в ETH (Цюрих) Б. Мейер (http://is.ifmo.ru/belletristic/_meyer.pdf). 
Несмотря на большое число работ по методологиям разработки ПО [5], проводи-
мых, в том числе, и в настоящее время [6], считается [7], что указанный кризис не ми-
новал.  Он  во  многом  связан  с  тем,  что  специалисты  по  программной  инженерии  «ва-
рятся  в  собственном  соку»  и  почти  не  используют  подходы,  разработанные  в  других 
инженерных областях. Это привело к созданию сообщества исследователей и  практи-
ков, озабоченных будущим программной инженерии, которые особое внимание уделя-
ют  междисциплинарным  исследованиям  и  подходам,  в особенности  тем  из  них,  кото-
рые  созданы  в  «не–ИТ»-дисциплинах  задолго  до  появления  компьютеров 
(Interdisciplinary Software Engineering Network – ISEN). При этом, например, по анало-
гии с архитектурой, родились паттерны проектирования. 
 
 
3
 
  1   2   3   4   5   6   7   8   9   ...   140

Похожие:

Удк 004. 4’2  парадигма автоматного программирования  iconУдк 004. 42 + 004. 9  Редакционная коллегия: 
...
Удк 004. 4’2  парадигма автоматного программирования  iconУдк 371. 12:[002: 004]                                                 На правах рукописи 

Удк 004. 4’2  парадигма автоматного программирования  iconУчебный курс mcse официальное пособие Microsoft для самостоятельной подготовки удк 004
Семейство Windows 2000    2
Удк 004. 4’2  парадигма автоматного программирования  iconУдк 616. 12-02: 616ю36-004
Маммаев Сулейман Нураттинович – доктор медицинских наук, профессор кафедры госпитальной терапии I гоу впо 
Удк 004. 4’2  парадигма автоматного программирования  iconПолный обучающий курс 1 Turbo Pascal 1 Содержание 2 Ввод-вывод 6 Занятие Язык программирования Паскаль. Знакомство со средой программирования Турбо Паскаль.
Занятие Язык программирования Паскаль. Знакомство со средой программирования Турбо Паскаль. Основные понятия. Первая программа. Оператор...
Удк 004. 4’2  парадигма автоматного программирования  iconКнига Б. Страуструпа "Язык программирования С++"
Книга Б. Страуструпа "Язык программирования С++" дает описание языка, его ключевых понятий и основных приемов программирования на...
Удк 004. 4’2  парадигма автоматного программирования  iconУрок 1, Информатика 11 класс Тема: «Повторение. Способы организации данных в языке программирования»
Работа учащихся за пк в среде программирования Acces по выполнению заданий из контрольного материала
Удк 004. 4’2  парадигма автоматного программирования  iconПособие предназначено для обучающихся на отделении информатики (программирования) заочной физико-технической школы. Методические указания к контрольной работе по информатике n 1
Перед выполнением данной работы необходимо изучить и освоить следующие разделы языка программирования Турбо Паскаль: алфавит, синтаксис...
Удк 004. 4’2  парадигма автоматного программирования  iconЯзык программирования Perl
Курс знакомит с языком программирования Perl, с его принципами, основными возможностями и особенностями в объёме, достаточном, чтобы...
Удк 004. 4’2  парадигма автоматного программирования  iconКнига посвящена вопросам программирования на языке LotusScript в среде Lotus Domino версии R  
Язык  программирования  LotusScript  в  Lotus/Domino  R  8:  базис  языка,  встроенные  функции  и 
Разместите кнопку на своём сайте:
TopReferat


База данных защищена авторским правом ©topreferat.znate.ru 2012
обратиться к администрации
ТопРеферат
Главная страница