Исследование и реализация методов повышения производительности труда профессиональных программистов

Исследование и реализация методов повышения производительности труда профессиональных программистов

Автор: Галатенко, Владимир Антонович

Шифр специальности: 05.13.11

Научная степень: Докторская

Год защиты: 2001

Место защиты: Москва

Количество страниц: 210 с.

Артикул: 2285474

Автор: Галатенко, Владимир Антонович

Стоимость: 250 руб.

1. Введение.
2. Инструментальные средства программирования обзор. .
2.1. Накопление и использование программистских знаний .
2.1.1. Идеи, на которых основывается накопление и использование
програппшстских знаний.
2.1.2. Системы, поддерживающие накопление и использование программистских знаний.
2.1.3. Практическое применение средств накопления и использования программистских знаний.
2.1.4. Пршленсние логического аппарата
2.1.5. Инструментальные средства широкого спектра.
2.2. Компонентная объектная модель v
2.2.1. Введение.
2.2.2. Коротко о языке v.
2.2.3. Основные понятия модели v
2.2.4. Афиширование и выяснение интерфейсов.
2.2.5. Сохранение компонентов в долговременной памяти. .
2.2.6. Компоненты и контейнеры
2.2.7. Обмен данными
2.2.8. Агрегирование интерфейсов
2.3. Современные объектноориентированные СУБД .
2.3.1. Введение.
2.3.2. СУВД
2.3.3. Объектноориентированные возрлэжности IIXiv v.
2.3.4. СУБД .
3. Основные понятия и компоненты системы ЭСКОРТ
3.1. Нетекстовое представление программы.
3.2. Объектноориентированная СУБД.
3.3. Абстрактный структурнотекстозый редактор программ. . .
3.4. Инкрементальный анализ программ.
4. Язык широкого спектра ЭСКОРТ
4.1. Данные
4.1.1. Введение.
4.1.2. Механизм типизации. Контроль типов. Описания объектов
4.1.3. Механизм типизации. Генераторы типов.
4.1.4. Предопределенные типы и генераторы типов.
4.1.5. Пакеты.
4.1.6. Время жизни объектов.
4.2. Управляющие структуры.
4.2.1. Традиционные управляющие структуры.
4.2.2. Оператор вызова процедуры сопрограмм и оператор возврата
4.2.3. Цикл ДЛЯ
4.2.4. Исключительные ситуации.
4.2.5. Применение механизм исключительных ситуаций выход из цикла.
5. Объектноориентированная СУЦД как компонент инструментальной среды программирования
5.1. Объектноориентированная система управления базами данных комплекса ЭСКОРТ
5.1.1. Введение
5.1.2. Модуль как объект нижнего давня СУЦЦ
5.1.3. Проекты, версия и модули в версиях
5.1.4. Примеры работы с проектами, версиями и модулями
в версиях.
5.2. О достаточных условиях бесконфликтной синхронизации
процессов клиентов объектноориентированной СУБД. . .
5.2.1. Введение
5.2.2. Принцип неуничтожения информации
5.2.3. Синхронизация процессов компонентов одной програшной систеьщ
5.2.4. Синхронизация независимых программных систем
5.2.5. О реалистичности формулированных достаточных условий бесконфликтной синхронизации.
6. логоплановая объектная модель и ее приложения.
6.1. Введение
6.2. Объектная модель и ее оболочка
6.2.1. Основные понятия многоплановой объектной модели
и ее оболочки
6.2.2. Внутренний слой оболочки
6.2.3. Передача сообщений объекта
6.2.4. Некоторые обобщения.
6.2.5. Некоторая конкретизация.
6.3. Приложения многоплановой объектной модели
6.3.1. Настраиваемый структурнотекстовый редактор.
6.3.2. Гипертекстовая среда
6.3.3. .Многоплановые электронные бланки.
6.4. Заключение.
7. Настройка инструментальной системы ЗСКОГТ на обработку НТМЬдокументов.
7.1. Введение
7.2. Сведения о языке НТМЬ.
7.3. Средства настройки ЭСКОРГа
7.4. Язык настройки
7.4.1. Основные понятия языка настройки.
7.4.2. Лексические элементы языка настройки.
7.4.3. Обработка синтаксических ошибок
7.4.4. Правила видимости символов.
7.4.Ь. Структурное редактирование, пользовательский интерфейс
7.5. База Данных ЭСКОРТа.
7.6. Заключение.
8. Аппарат схем
8.1. Понятие схемы программы
8.2. Пример схемы программы.
8.3. Механизм подстановки схемы.
8.4. Пример подстановки схемы.
8.5. Представление схем программ в БД БСКОГТа.
9. О постановке задачи разграничения доступа
в распределенной объектной среде.
9.1. Введение.
9.2. Недостатки существующих моделей разграничения доступа
с точки зрения объектного подхода
9.3. Основные предположения.
9.4. Формальная постановка задачи.
9.5. Первый уровень конкретизации.
9.5.1. Политика безопасности контейнера.
9.5.2. Ограничения ка вызываемый метод
9.5.3. Ограничения на вызывающий метод
9.5.4. Добровольно налагаемые ограничения.
9.5.5. Условие допустимости вызова
9.5.6. Внутренние и внешние зызовы
9.6. Оптимизация вычисления ПРД
9.6.1. Однократное вычисление предикатов.
9.6.2. Уменьшение числа членов ПРД.
9.7. Обработка ПГД.
9.8. Второй уровень конкретизации реализация традиционных моделей разграничения доступа
9.8.1. Реализация дискреционной модели.
9.8.2. Реализация мандатной модели.
9.8.3. Реализация модели песочницы.
9.9. Заключение
. Заключение.
. Литература.
Глава 1. Ззедение
Актуальность теш.
Настоящая работа посвящена исследованию и реализации методов повышения производительности труда профессиональных программистов. В основу работы положены результаты, полученные в рамках создания инструментальной системы ЭСКОРТ в НИИ системных исследований РУЛ.
Повышение производительности груда программистов, обеспечение высокого качества програшних систем, сокращение сроков их реализации все эти аспекты технологии программирования были и остаются актуальными практически со времени появления первых ЭШ. Попытки создания больших систем в х годах показали всю сложность проблем программирования, привели к интенсивным исследованиям в области технологии программирования, результатами которых стали сначала структурированное программирование, затем объектноориентированный подход.
Объектноориентированный подход является основой современной технологии программирования, ко сам по себе он не решает всех проблем. Попрежнему актуальной и сложной остается проблема накопления и использования программистских знаний. Это направление активно разрабатывается многими специалистами, однако прорыва пока добиться не удалось.
Таким образом, для повышения производительности труда программистов необходимы новые исследования, новые подходы и методы, касающиеся как основополагающих идей, так и способов реализации инструментальных средств программирования.
Цели работы.
Можно выделить следующие основные направления проведенных исследований и разработок
развитие и уточнение основных понятий объектноориентированного подхода
разработка нетекстовой модели програзтлы
создание языка программирования широкого спектра
применение аппарата схем програш для накопления и использования программистских знаний
развитие теории и методов реализации объектноориентированных СУБД
применение понятий и методов технологии програшшрования к информационной безопасности.
Банная новизна.
В работе предложен аппарат схем как средстзо накопления и использования программистских знаний, обобщающее компонентные вдели. Показано, что механизьш, необходимые для поддержки схем, могут быть использованы в языках программирования логическая трактовка понятия типа и в информационной безопасности учет семантики при разграничении до отнята. Подобный интегрирующий подход предложен впервые.
Логическая трактовка понятия типа семейства типов является новой для языков програширования. Она обеспечивает единую концептуальную основу для языка широкого спектра, сочетающего возможности языка спецификаций и эффективно колпилируемого языка.
Нозым для информационной безопасности является применение в этой области понятий и методов технологии программирования и, в частности, объектноориентированного подхода. Поновому, с учетом особенностей распределенных объектных систем, сформулирована задача разграничения доступа.
Развита объектная модель. Предложены новые понятия стороны грани и уровня детализации объектов. На этой основе разрабо
тана многоплановая объектная среда, реализовано нетекстовое представление программных систем.
Предложен и реализован аппарат инкрементального анализа программ как средство накопления и коррекции информации о больших программных комплексах.
Разработана методика создания многопользовательских объектноориентированных систем управления базами данных с новыми средствами синхронизации.
Практическая ценность.
На основе полученных в диссертационной работе теоретических результатов была разработана и реализована инструментальная система программирования ЭСКОРТ.
Предложенные принципы позволили единообразно реализовать в рамках операционной системы ЛИХ, помимо инструментальной системы ЭСКОРТ, семейстзо различных интерактивных систем.
Апробация.
Основные положения диссертационной работы докладывались на конференции Методы трансляции и конструирования программ Новосибирск, , на Всесоюзном семинаре Прикладные системы для ОС ШХ Москва, , на Международной конференции Зии0 СанктПетербург, , на Международной конференции ЗЛаЭЗ Москва, , на Международной конференцй РАПРОС Нижний Новгород, .
Публикации.
По теме диссертации опубликовано печатных работ, в том числе три монографии , , . Из других публикаций выделим работы 9, , , , , , , .
Объем и структура работы.
Диссертация состоит из 9 глав, заключения и списка литературы.
Первая глава является введением.
Вторая глава представляет собой обзор инструментальных средств программирования. Основное внимание уделяется накоплению и использованию программистских знаний, компонентным сбъектннм моделям, объектноориентированным СУБД.
Третья глава содержит изложение основных понятий системы ЭСКОРТ, описание ее компонентов. Описано нетекстовое представление программы, объектноориентированная СУБД, абстрактны структурнотекстовый редактор программ, инкрементальный анализатор програътл.
Тема четвертой главы язык повышенного уровня ЭСКОРТ. Основное внимание уделено типам данных, леханизму типизации.
Глава 5 пссзяцена объектноориентированной СУБД как компоненту инструментальной среды программирования. Описана реализация, выполненная в рамках системы ЗСКОРГ, а также механизм синхронизации клиентских процессов.
В главе 6 рассмотрено развитие объектного подхода многоплановая объектная модель и ее приложения. 3 число приложений эходят настраиваемый структурнотекстовый редактор, гипертекстовая среда, многоплановые электронные бланки.
3 седьмой главе продемонстрирована универсальность средств редактирования и анализа, представленных в системе ЭСКОРТ, на примере настройки ЭСКОРТа на обработку НТМЬдокументов.
Глава 8 поевлшена аппарату схем. Зводится понятие схемы программы, описаны механизм подстановки схем, представление схем б Щ. ЭСКОРТ. Приводятся соответствующие примеры.
Тема главы 9 информационная безопасность, точнее, приложение понятий технологии программирования к постановке задачи
разграничения доступа в распределенной объектной среде. Продемонстрирована недостаточность существующих подходов, проведена структуризация условий, определяющих допустимость вызова метода.
В заключении излагаются основные результаты диссертационной работы.
Список литературы


В результате получается полный набор для накопления и использования программистских знаний в области авионики. По сравнению с классической моделью, в работе предлагается важное улучшение одновременное рассмотрение нескольких предметных областей и предоставление средств для описания связей между ниш с применением отношений и I. Такое обобщение позволяет разбивать большие предметные области на управляемые фрагменты, строить иерархию таких фрагментов и, соответственно, уходить от монолитных, трудно сопровождаемых архитектур к технологичным иерархиям обозримых сущностей. По сути, на модель распространяется объектный подход, что с современных позиций представляется необходимым. Для иллюстрации ыногодоменной модели в используется задача создания, контроля и исполнения программистских проектов. В лаборатории технологии программирования сингапурского университета была разработана система поддержки исполнения программных проектов xi . Эта система помогает и управленцам одна прикладная область верхнего уровня, и программистам второй домен, соответственно, контролировать и осуществлять процесс разработки. У доменов есть общие подобласти, что ведет к повторному использованию знаний не только з пределах одного домена, но и между доменами. Е упомянутой выше работе представлена инструментальная среда 3 i i vi. Важная черта этой среды состоит в том, что ока позволяет работать с разными представлениями предметной области, построенными с разных точек зрения, для поиска подходящих объектов в используется кластерный алгоритм, основанный на анализе ключевых слов. Этот алгоритм реализован в концептуальном прототипе кластерного редактора. В работе исследован вопрос о структуризации пространства поиска повторно используемых компонентов. Предлагается два способа построения иерархия по предметной областипредоставляемым сервисам, а также по степени общности универсальный, специфический, ориентированный на определенного пользователя. Эти способы реализованы в методологии объектного проектирования НЕМО, поддерживаемой инструментальной средой I. Б утверждается, что подобная структуризация позволяет сделать поиск компонентов эффективным, что дает реальный выигрыш от внедрения методологии МЕКС. Как указывалось выше, пополнение объектной модели связующими сущностями коннекторами описано в работе . Это пополнение выполнено в рамках свобода распространяемой с исходными текстами системы . Б коннекторах концентрируется информация о взаимодействии объектов передаваемые данные, их преобразование, поведение участников взаимодействия. Поведение коннектора задается посредством множества правил взаимодействия, которые определяют, допустимо ли определенное сообщение, при
каких условиях, вызывает ли получение сообщения отправку какихлибо других сообщений и т. Коннектор может вызывать методы в объектахучасткиках взаимодействия, поэтому он в состоянии полностью контролировать межобъектные интерфейсы, инкапсулируя соответствующие знания. По мнению специалистов исследовательского центра компании i см. ПО промежуточного слоя. В рамках проекта ii был разработан прототип инструментальной среды i i vi , также язык спецификации архитектур , позволяющий описывать компонентные конструкции. СОР. ЗА I, в нем определены такие понятия, как пре и постусловие, инвариант, состояние. Для каждого компонента выделяются предоставляемые я требуемые интерфейсы. Проверка соответствия требуемого интерфейса одного компонента и предоставляемого другого, осуществляется средствами логического вывода. При несоответствии, но определенной близости предоставляемого и требуемого интерфейсов могут быть автоматически сгенерированы промежуточные сущности адаптеры. Согласно заявлению авторов, проект находится на начальном этапе развития. Как указывается в работе , в число повторно используемых сущностей могут и должны входить не только программы, но и доказательства их свойств. Инструментальная среда точнее, прототип среды позволяет создавать спецификации с параметрами, алгоритмы с параметрами и доказательства того, что алгоритм удовлетворяет спецификациям при определенных ограничениях на параметры.

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.209, запросов: 244