Logo GenDocs.ru

Поиск по сайту:  

Загрузка...

Содержание
1.1. Программа как формализованное описание процесса обработки данных. Программное средство.
1.2. Неконструктивность понятия правильной программы.
1.3. Надежность программного средства.
Технология программирования как технология разработки надежных программных средств.
1.5. Технология программирования и информатизация общества.
Источники ошибок в программных средствах
Неправильный перевод как причина ошибок в программных средствах.
2.4. Основные пути борьбы с ошибками.
Общие принципы разработки
3.1. Специфика разработки программных средств.
3.2. Жизненный цикл программного средства.
Программное изделие (ПИ)
3.3. Понятие качества программного средства.
Легкость применения
3.4. Обеспечение надежности
3.5. Методы борьбы со сложностью.
3.6. Обеспечение точности перевода.
3.7. Преодоление барьера между пользователем и разработчиком.
3.8. Контроль принимаемых решений.
Внешнее описание программного
4.2. Определение требований к программному средству.
4.3. Спецификация качества программного средства.
Легкость применения
Ниже даются определения используемых примитивов качества ПС [4.3-4.5].
Эффективность по ресурсам
Эффективность по устройствам
Независимость от устройств
4.4. Функциональная спецификация программного средства.
4.5. Методы контроля внешнего описания программного средства.
Методы спецификации семантики
Равно(l1, r1)
5.2. Метод таблиц решений.
5.3. Операционная семантика.
5.4. Денотационная семантика.
5.5. Аксиоматическая семантика.
Удалить: m  m
5.6. Языки спецификаций.
5.4. Тип R определён с помощью следующей аксиоматической семантики.
Shift(add(add(add(u, x), y), z)) =
Архитектура программного средства
6.1. Понятие архитектуры программного средства.
6.2. Основные классы архитектур программных средств.
Комплекс автономно выполняемых программ
Слоистая программная система
Коллектив параллельно действующих программ
Программа A Программа B
Программа C
6.3. Архитектурные функции.
6.4. Контроль архитектуры программных средств.
Разработка структуры программы и
7.1. Цель модульного программирования.
7.2. Основные характеристики программного модуля.
Функционально прочный
Информационно прочный
7.3. Методы разработки структуры программы.
Архитектурный подход
7.4. Контроль структуры программы.
Разработка программного модуля
8.1. Порядок разработки программного модуля.
8.2. Структурное программирование.
8.3. Пошаговая детализация и понятие о псевдокоде.
Все исключение
Удаление в файле записей до первой
Если очередная запись удовлетворяет
Доказательство свойств программ
9.1. Обоснования программ. Формализация свойств программ.
9.2. Свойства простых операторов.
Теорема 9.2. Пусть информационная среда IS состоит из переменной X и остальной части информационной среды RIS
Теорема 9.3. Пусть P, Q и R
Если p то s1иначе s2 все если
Теорему 9.5. Пусть P, Q, P1 и Q1
Теорема 9.6. Пусть I, P, Q и R
Пока q делать s все пока
{i} пока q делать s все пока {i,q}
S; пока q делать s все пока
9.4. Завершимость выполнения программы.
Пока q делать s все пока
9.5. Пример доказательства свойства программы.
Тестирование и отладка программного средства
10.1. Основные понятия.
10.2. Принципы и виды отладки программного средства.
10.3. Заповеди отладки программного средства.
10.4. Автономная отладка программного средства.
Недостатками восходящего тестирования
Недостатком нисходящего тестирования
10.5. Комплексная отладка программного средства.
Тестирование архитектуры ПС.
Тестирование внешних функций
Тестирование качества ПС.
Тестирование документации по применению ПС.
Тестирование определения требований к ПС.
Обеспечение функциональности и
11.1. Функциональность и надежность как обязательные критерии качества программного средства.
11.2. Обеспечение завершенности программного средства.
11.3. Обеспечение точности программного средства.
11.4. Обеспечение автономности программного средства.
11.5. Обеспечение устойчивости программного средства.
11.6. Обеспечение защищенности программных средств.
Защита от отказов «чужой» программы
Защита от злонамеренного влияния «чужих» программ
Защита от взлома защиты
Обеспечение качества программного средства
12.1. Общая характеристика процесса обеспечения качества программного средства.
Обеспечение легкости применения программного средства.
Пользовательский интерфейс
Командный пользовательский интерфейс
12.3. Обеспечение эффективности программного средства.
12.4. Обеспечение сопровождаемости программного средства.
12.5. Обеспечение мобильности.
Слово… В начале было Слово… Библия, Новый завет, от Иоанна святое благовествование
Рабочие документы.
Заметки и переписка.
13.2. Пользовательская документация программных средств.
Ординарный пользователь
Руководство по инсталяции ПС
Инструкция по применению ПС.
Руководство по управлению ПС
Документация по сопровождению программных средств.
Управление разработкой и аттестация программного средства.
Управление разработкой ПС
Планирование и составление расписаний по разработке ПС
Управление издержками по разработке ПС
Подбор и оценка персонала коллектива разработчиков ПС
14.2. Структура управления разработкой программных средств.
Менеджер сферы разработок
Стандарты процесса создания и использования ПС
Бригада по контролю качества
14.3. Планирование и составление расписаний по разработке ПС.
Объектный подход к разработке
При исследовании модельного мира пользователи могут по-разному получать информацию от компьютера.
15.2. Особенности объектного подхода к разработке внешнего описания программного средства.
Объектная модель
Динамическая модель
Динамическая модель в целом объединяет все диаграммы состояний с помощью событий между классами.
15.3. Особенности объектного подхода на этапе конструирования программного средства.
15.4. Особенности объектного подхода на этапе кодирования программного средства.
Компьютерная поддержка разработки и сопровождения программных средств
Инструменты, поддерживающие процесс выполнения программ
16.2. Инструментальные среды разработки и сопровождения программных средств и принципы их классификации.
Ориентированность на коллективную разработку
16.3. Основные классы инструментальных сред разработки и сопровождения программных средств.
Рабочее место компьютерной технологии
Инструментальная система технологии программирования
16.3. Инструментальные среды программирования.
16.4. Понятие компьютерной технологии разработки программных средств и ее рабочие места.
Разработка спецификаций ПС
Автоматизированный контроль спецификаций
Автоматизированное документирование ПС.
Комплексное тестирование и отладка ПС.
Рабочее место компьютерной технологии разработки ПС
14.5. Инструментальные системы технологии программирования.
Инструментальная система поддержки проекта
Языково-зависимая инструментальная система

Поиск по сайту:  

© gendocs.ru
При копировании укажите ссылку.
обратиться к администрации