Технология построения языков спецификаций классов задач, ориентированных на пользователей

Технология построения языков спецификаций классов задач, ориентированных на пользователей

Автор: Москвитин, Анатолий Алексеевич

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

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

Год защиты: 2004

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

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

Артикул: 2752591

Автор: Москвитин, Анатолий Алексеевич

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

Технология построения языков спецификаций классов задач, ориентированных на пользователей  Технология построения языков спецификаций классов задач, ориентированных на пользователей 

Оглавление
1 Обзор существующих подходов к исследуемой проблеме
1.1 Решение задач в языках императивного типа
1.2 Решение задач в языках декларативного типа.
1.3 Доказательное программирование.
1.4 Особенност и подхода от задач
1.4.1 Первый уровень общности
1.4.2 Второй уровень общности
1.4.3 Третий уровень общности
2 Теоретические основы языков спецификаций задач
2.1 Концепция технологии построения языков спецификаций классов задач, ориентированных на пользователей.
2.2 Интеллектуальные ресурсы и интеллектуальные запросы пользователей
2.2.1 Интеллектуальные ресурсы пользователей.
2.2.1.1 Парадокс кучи.
2.2. Оценка интеллектуального ресурса пользователя
2.2.1.3 Интеллектуальный ресурс сообщества пользователей
2.2.2 Интеллектуальные запросы пользователей.
2.2.1 Интеллектуальные запросы идеального пользователя
2.2.2 Интеллектуальные запросы реального пользователя.
2.3 Языки и логики спецификаций задач для идеальных пользователей
2.3.1 Языки
2.3.2 Тлогикн.ИЗ
2.3.3 Тп,логики.
2.3.4 Немонотонность некоторых Тлогик
2.3.5 Представления логик спецификаций задач и конструктивные системы.
2.3.5.1 Представления Тлогик
2.3.5.2 Конструктивные системы.
2.4 Языки и логики спецификаций задач для реальных пользователей
2.4.1 Яелязыкн.
2.4.2 Логики
2.4.3 Тфщ, гезУ логики.
2.4.4 Немонотонность некоторых I, тлогик.
2.5 Представления логик спецификаций для реальных пользователей.
2.5.1 Представления X, гиЛОГИк.
2.5.2 конструктивные системы
3 Алгоритмические проблемы языков спецификаций задач.
3.1 Измерение интеллектуатьных ресурсов пользователей.
3.1.1 Алгоритм измерения интеллектуальных ресурсов пользователей
3.1.1.1 Термкалибровка
3.1.1.2 Шкала уверенности ТБ.
3.1.2 Измерение тр,Т ресурса гер,Т
3.1.3 Измерение т2р,Т.
3.1.4 Измерение Мф.Т
3.2 Особенности организации диалога в языках спецификаций задач.
3.2.1 Организация диалога с реальным пользователем.
3.2.2 Длина текста и сложность текста
3.2.3 Синтаксис, семантика и прагматика
3.2.3.1 Синтаксис.
3.2.3.2 Оценка синтаксической сложности текста
3.2.4 Особенности формулировки задачи в языках спецификаций
3.2.4.1 Тестирование
3.2.4.2 Пример формальной спецификации задачи.
3.2.5 Некоторые комментарии и обоснования
3.2.6 Реализационные аспекты диалога.
4 Реализационные аспекты применения языков спецификаций классов задач, ориентированных на пользователей
4.1 Применение языков спецификации задач в экономике и технике.
4.1.1 Спецификация экономической задачи
Инвестиционное проектирование и управление проектами.
4.1.2 Реализация интернетпроекта
Инвестиционный менеджмент в инновационной сфере
4.1.3 Спецификация технической задачи Системные основы информатики.
4.1.4 Реализация программы Системные основы информатики
Г 4.1.4.1 Комплекс обучающих программ Конструктор I
4.1.4.2 Аппаратные основы информатики. Конструктор I .
4.1.4.3 Работа с конструктором I .
4.1.4.4 Конфигурирование персонального компьютера.
4.1.4.5 С ЧЕГО начать и КАК это делается
4.1.4.6 Лабораторный практикум
4.1.4.7 Задания лабораторного практикума
4.2 Инструментарий для реализации языков спецификаций задач
4.2.1 Измерение интеллектуальных ресурсов пользователей. Система .
4.2.1.1 Определение интеллектуальных ресурсов пользователя
4.2.1.2 Схема постановки задачи пользователем р.
4.2.2 Среда слецификаиионной деятельности. Система СИГМАТЗ
4.2.2.1 Схема решения задач в системе СигмаТЗ
4.2.2.2. Формирование исходных спецификаций в СигмаТЗ
4.3 Инструментальный комплекс языков спецификаций задач
4.3.1 Архитектура инструментальной системы ТсКоРЗ
4.3.1.1 Базисный уровень технологического комплекса решения задач.
4.3.1.2 Вмодули
4.3.1.3 Управляющий массив
4.3.1.4 Организация программного обеспечения на базисном уровне.
4.3.1.4.1 Решение задач на базисном уровне
4.3.1.4.2 Технологический этап решения задач в ТеКоРЗ.
4.3.1.4.3 Свойства качественных решений Гзадач.
4.3.2 Инструмент отбора стратегий исполнения модулей.
4.3.2.1 Схема работы конструктора
4.3.2.2 Структура и состав конструктора
Заключение
Список используемых источников


Поскольку разработка программного обеспечения процесс достаточно трудоемкий и дорогостоящий, возникает потребность, с одной стороны, в разработке методов и средств, гарантирующих точность постановки и решения задачи, а с другой, в увеличении срока жизненного цикла программного обеспечения. Достичь приемлемых результатов в решении данной проблемы пытались и пытаются различными путями. Первые попытки в решении данной проблемы были связаны с разработкой технологий программирования, ориентированных на императивные языки программирования. Так возникли языки спецификаций программ . Появление формальных языков программирования 0 особенно языков высокого уровня, реализация принципа модульного программирования и реализация подхода, предложенного Виртом, существенно помогло человеку в общении с компьютером при решении его задач. Появилась возможность не удобный и не привычный для человека язык единичек и ноликов компьютера заменить на более понятный алгоритмический язык постановки и решения задачи. В этот период преобладает эмпирический подход к поиску и реализации идей и концепций программирования. Возникают такие новые понятия, как открытая и замкнутая программы процедура компиляция интерпретация и др. Этот, безусловно, положительный фактор способствовал научному подходу к процессу программирования и к теоретическим исследованиям в области программирования. Однако же, вместе с появлением формальных языков программирования возникла и новая проблема не все пользователи компьютеров могли быстро и в полном объеме овладеть формальными языками программирования. Программисты могли быстро перевести готовый алгоритм решения задачи на формальный язык понятный компьютеру язык программирования или машинный язык, но, к сожалению, разработать сам алгоритм решения задачи, не говоря уже о том, чтобы поставить задачу, зачастую им было не под силу. Так возник тандем пользователь программист, который существует и поныне. Следующим этапом в развитии императивных языков прораммирования видимо следует считать появление различных нотаций языков программирования и технологий, призванных обеспечить больше удобств пользователю, а, значит, и способствующих более точному извлечению из заказчикапользователя постановки его задачи. Наиболее перспективной из предлагаемых нотаций видимо следует считать графическую нотацию, когда задача и алгоритм се решения отображаются в виде схем, графов, диаграмм и т. К ним относятся НРОтехнология 4, технология , лтехнология и современные технологии, например, базирующиеся на языке , , . Графическая нотация зачастую позволяет конечному пользователю лучше понять и представить свою задачу еще на этапе се формулировки или, в крайнем случае, на этапе прототипирования. Такую же нотацию используют и следующие технологии i , i, iv, и i , , , , . Так, например, язык это графический язык для визуализации, специфицирования, конструирования и документирования артефактов программной системы. Его используют для того, чтобы моделировать системы. Модель это упрощение реальности, абстракция, которая создается для лучшего понимания системы. Системы описываются набором моделей, но возможности рассматривающих се с различных точек зрения. Важными составляющими частями модели являются, прежде всего, структурные сущности. Vi i, и др. Vi i, i, i, автоматизированного тестирования и документирования, охватывающих жизненный цикл создания программных систем. Можно назвать и другие развивающиеся технологии программирования например, . А, например, в методе гиперпрограммирования рассматривается такая организация процесса разработки программ, при которой программа формируется в виде дерева фрагментов, представляющих собой значения некоторых выделенных метапеременных используемого языка программирования. Существенно, что каждое вхождение метапеременной представлено помеченной метапеременной, т. Однако при всех своих достоинствах, указанные выше технологии не лишены одного, на наш взгляд, очень существенного недостатка все они предполагают наличие посредника между конечным пользователем и компьютером в лице аналитика главного лица, отвечающего за постановку задачи пользователя. Связано это с тем, что остается необходимость окончательного описания процесса решения задачи на компьютере программистом, в терминах императивного языка.

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

28.06.2016

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

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

15.02.2015

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

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


Все новости

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