Введение к работе
їртациЯ І Актуальность проблемы. С развитием вычислительных средств оказалась возможной разработка программных инструментов, осуществляющих поддержку отдельных этапов жизненного цикла программ и повышавших производительность и надёжность получаемых продуктов. Уже видится реализуемой, несмотря на её сложность, задача разработки инструментальных систем, поддерживавших бы весь тазненный цикл , что позволяет говорить об её актуальности.
Система обоснователыгого гиперпрограммирования является системой, претендующей на эту роль. Она базируется на методе обоснователького гиперпрограк/ирования, понимаемом как систематически процесс определения помечектлх метапеременных на оено-ве правил грамматики заданного йзкійі с возможностью связывать с фрагментами программ дополнительные утверждения (обоснования) для обеспечения статического семантического контроля. Предполагается, что для каждой предметной области целесообразно иметь "свою" такую систему, где ьюяю было бы учесть не только специфику ланкой области, но и предлс-ііть прикладном программистам привычяуя для них среду программирования. Тем сам:;м речь идет о цело1.! семействе систем сбосновзтельного гнперпрсгрр.мм-іровзнил. число членов !второго видится достаточно больинм.
В сег.зн с ст."м явлтетол актуальней задача вндел:-:-:не обцей части всех тачнх систем, которая, по-видимому, охватит бчзсгь'е операции их функционирования (ведение информационной басы проекта, уннг?рсйль;»:> илструї/ентарнй и др.). Такуя чзсть системи удсбпо назреть .т;';о/>'.
Гель г. ,тс-се:>тац;.о::ней работы является создал::.? концепции, спеш',1::.-а:":я и реализация ядра сеігейетБа систем обоснсрательпо-го гнперг:рогр:!"":'реван15я, ебеспечизагхцнх поддержу разработки и с о про рог,-, гнил программ невоенной кэд^гюсти.
Няучися ноГ'Г'Зна. ІЬеі-:мн научным:! результатами .твлягтся:
-
;'днг;.епц;:я :'.т;.'\ семейетг-з е::?т;-.ч. сбссковатглыгого гппернрсг-ра:с-грова<і;*я, реалнзу;:"?го пн^р:*ацнонпго и инструментальную язютвспезазнонт/п поддерге/ их работы.
-
Разработанное в раусах стой г-снцэпцн.ч мобильнее ядро, кото-
- 4 -рое может быть включено в любую систему обосновательного гиперпрограммирования.
Практическая значимость. Реализация ядра на ЭВМ СМ-4, ПЭВМ "Электроника-85" и IBM РС/МУАТ позволила существенно упростить производство систем обосновательного гиперпрограммирования (использовано в нескольких аспирантских и студенческих работах). Кроме того, программный пакет работы с программной базой, являющийся существенной частью ядра и обеспечивающий информационную поддержку систем обосновательного гиперпрограммирования, может иметь и самостоятельное применение, например, в трансляторах.
Апробация работы. Результаты работы докладывались на конференции молодых учёных факультета ВМиК МГУ (1989 г.), на Все-союзнрй студенческой конференции "Студент и научно-технический прогресс" (Новосибирск, 1989 г.), на научно-исследовательском семинаре по автоматизации программирования (факультет ВМиК МГУ, 1991 г.).
Публикации. По теме диссертации опубликованы три работы, библиография которых дана в конце.
Структура и объём работы. Диссертация состоит из введения, трёх глав, заключения, списка литератуты и приложения; объём работы без библиографии и приложения 109 страниц.
