12.07.2015 Views

Отсюда можно скачать отчет в формате PDF (670 Kb) - Кафедра ...

Отсюда можно скачать отчет в формате PDF (670 Kb) - Кафедра ...

Отсюда можно скачать отчет в формате PDF (670 Kb) - Кафедра ...

SHOW MORE
SHOW LESS
  • No tags were found...

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

7В<strong>в</strong>едениеВ <strong>отчет</strong>е излагаются осно<strong>в</strong>ные положения технологиисоздания программного обеспечения "реакти<strong>в</strong>ных"("reactive") систем, реагирующих на события. Системыэтого класса могут быть также наз<strong>в</strong>аны событийными. Этатехнология базируется на осно<strong>в</strong>е теории а<strong>в</strong>томато<strong>в</strong>.Отчет создан <strong>в</strong> ходе <strong>в</strong>ыполнения работ по теме"Разработка технологии создания программного обеспечениясистем упра<strong>в</strong>ления на осно<strong>в</strong>е а<strong>в</strong>томатного подхода"(регистрационный номер темы <strong>в</strong>о Всероссийском научнотехническомцентре (ВНТИЦ) - 01.20.00 13546), <strong>в</strong>торой этапкоторой, <strong>в</strong>ыполненный <strong>в</strong> 2001 г., имеет наимено<strong>в</strong>ание"Разработка осно<strong>в</strong>ных положений технологии созданияпрограммного обеспечения реакти<strong>в</strong>ных систем".Выполненная работа я<strong>в</strong>ляется продолжениемисследо<strong>в</strong>аний, про<strong>в</strong>еденных <strong>в</strong> 2000 г. по пер<strong>в</strong>ому этапутемы: "Разработка осно<strong>в</strong>ных положений технологии созданияпрограммного обеспечения систем логического упра<strong>в</strong>ления"(ин<strong>в</strong>ентарный номер <strong>отчет</strong>а <strong>в</strong>о ВНТИЦ - 02.2.00 102948), <strong>в</strong>рамках которого была разработана SWITCH-технология,предназначенная для алгоритмизации и программиро<strong>в</strong>аниязадач логического упра<strong>в</strong>ления.Перечислим осно<strong>в</strong>ные особенности этой технологии:− четко <strong>в</strong>ыделен этап проектиро<strong>в</strong>ания, предшест<strong>в</strong>ующийэтапу реализации. При этом строятся схемы и диаграммы,которые <strong>в</strong> дальнейшем формально и изоморфно преобразуются<strong>в</strong> текст программы. Такая организация процесса разработкианалогична принятой при создании аппаратуры, изгото<strong>в</strong>лениекоторой <strong>в</strong>ыполняется только по проектной документации;− опыт использо<strong>в</strong>ания предлагаемой технологиипоказы<strong>в</strong>ает, что при тщательном проектиро<strong>в</strong>ании построеннаяна этапе реализации программа либо сразу работает

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!