Для студентов по предмету ИнформатикаПрограммированиеПрограммирование
2016-07-302016-07-30СтудИзба
Книга: Программирование
Описание
Программирование
Содержание
- ЗАМОК ДРАКОНА
- НАДЁЖНОЕ ПРОГРАММНОЕ СРЕДСТВО КАК ПРОДУКТ ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ. ИСТОРИЧЕСКИЙ И СОЦИАЛЬНЫЙ КОНТЕКСТ ПРОГРАММИРОВАНИЯ
- Программа как формализованное описание процесса обработки данных.
- Программное средство
- Неконструктивность понятия правильной программы
- 1.3. Надежность программного средства
- Технология программирования как технология разработки надежных программных средств
- Технология программирования и информатизация общества
- ЗАМОК ДРАКОНА
- ИСТОЧНИКИ ОШИБОК В ПРОГРАММНЫХ СРЕДСТВАХ
- Интеллектуальные возможности человека
- Неправильный перевод как причина ошибок в программных средствах
- Модель перевода
- Основные пути борьбы с ошибками
- ЛИТЕРАТУРА
- ЗАМОК ДРАКОНА
- ОБЩИЕ ПРИНЦИПЫ РАЗРАБОТКИ ПРОГРАММНЫХ СРЕДСТВ
- Специфика разработки программных средств
- Жизненный цикл программного средства
- Понятие качества программного средства
- Обеспечение надёжности — основной мотив разработки программных средств
- Методы борьбы со сложностью
- Обеспечение точности перевода
- Преодоление барьера между пользователем и разработчиком
- Контроль принимаемых решений
- ЛИТЕРАТУРА
- ЗАМОК ДРАКОНА
- ВНЕШНЕЕ ОПИСАНИЕ ПРОГРАММНОГО СРЕДСТВА
- Назначение внешнего описания программного средства и его роль в обеспечении качества программного средства
- Определение требований к программному средству
- Спецификация качества программного средства
- Функциональная спецификация программного средства
- Методы контроля внешнего описания программного средства
- ЛИТЕРАТУРА
- ЗАМОК ДРАКОНА
- Л. Витгенштейн
- МЕТОДЫ СПЕЦИФИКАЦИИ СЕМАНТИКИ ФУНКЦИЙ
- Основные подходы к спецификации семантики функций
- Метод таблиц решений
- Операционная семантика
- Денотационная семантика
- Аксиоматическая семантика
- Аксиоматическая семантика
- ЛИТЕРАТУРА
- ЗАМОК ДРАКОНА
- АРХИТЕКТУРА ПРОГРАММНОГО СРЕДСТВА
- Понятие архитектуры программного средства
- Основные классы архитектур программных средств
- Архитектурные функции
- Контроль архитектуры программных средств
- ЛИТЕРАТУРА
- ЗАМОК ДРАКОНА
- РАЗРАБОТКА СТРУКТУРЫ ПРОГРАММЫ И МОДУЛЬНОЕ ПРОГРАММИРОВАНИЕ
- Цель модульного программирования
- Основные характеристики программного модуля
- Методы разработки структуры программы
- Контроль структуры программы
- ЛИТЕРАТУРА
Характеристики книги
Тип
Предмет
Просмотров
201
Качество
Идеальное компьютерное
Размер
166,17 Kb
Список файлов
TaskMen
30 июля 2016 в 03:48
Комментарии
Нет комментариев
Стань первым, кто что-нибудь напишет!
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
