ОсновноеRadiotalkПользовательское
Программирование
6   •   Посмотреть все темы

Учебник ТРПО

 

3173
Николай @grom
Непосредственно к этому разделу относится тема, если нет то самоликвидируюсь.
Нужен учебник "Технология разработки программного обеспечения" в HTML или CHM форматах. Если у кого-то завалялась - поделитесь. Основные примерные темы книги это: стандарты ISO, группа разработчиков, взаимосвязь между ними, жизненный цикл программы и др.
По нескольким запросам проходил, но как то не впечатлительные результаты.
В сети много нашел одного и того же Орлова...

607
schizzo @schizzo
сори ну пока тока с депосит нашол( **********

607
schizzo @schizzo
вот ещё варианты: **********

3173
Николай @grom
в HTML и CHM форматах.

607
schizzo @schizzo
я так понял тебе Орлова не надо?

3173
Николай @grom
уже есть, и там ничего толкового нету
стандарты ISO, группа разработчиков, взаимосвязь между ними, жизненный цикл программы и др.

Зубкова бы если есть.

607
schizzo @schizzo
вот онлайн, еслив надо: **********
а вот с компа:
**********

Отредактировано schizzo - 20.04.2010
3173
Николай @grom
Спасибо!
=========
Завтра еще влеплю!

607
schizzo @schizzo
Рад помочь)

6600
Александр @admiral
Может кому еще лекции по технологии пригодятся )

Формат - word (.doc)
Содержание:
Введение.
Надежное программное средство как продукт технологии программирования. Исторический и социальный контекст программирования.
Программа как формализованное описание процесса обработки данных. Программное средство.
Неконструктивность понятия правильной программы.
Надежность программного средства.
Технология программирования как технология разработки надежных программных средств.
Технология программирования и информатизация общества.
Литература к лекции.
Источники ошибок в программном средстве.
Интеллектуальные возможности человека.
Неправильный перевод как причина ошибок в программном средстве.
Модель перевода.
Основные пути борьбы с ошибками.
Литература к лекции.
Общие принципы разработки программных средств.
Специфика разработки программных средств.
Жизненный цикл программного средства.
Понятие качества программного средства.
Обеспечение надежности - основной мотив разработки программных средств.
Методы борьбы со сложностью.
Обеспечение точности перевода.
Преодоление барьера между пользователем и разработчиком.
Контроль принимаемых решений.
Литература к лекции.
Внешнее описание программного средства.
Назначение внешнего описания программного средства и его роль в обеспечении качества программного средства.
Определение требований к программному средству.
Спецификация качества программного средства.
Функциональная спецификация программного средства.
Методы контроля внешнего описания программного средства.
Литература к лекции.
Методы спецификации семантики функций.
Основные подходы к спецификации семантики функций.
Метод таблиц решений.
Операционная семантика.
Денотационная семантика.
Аксиоматическая семантика.
Языки спецификаций.
Литература к лекции.
Архитектура программного средства.
Понятие архитектуры программного средства.
Основные классы архитектур программных средств.
Архитектурные функции.
Контроль архитектуры программного средства.
Литература к лекции.
Разработка структуры программы и модульное программирование.
Цель модульного программирования.
Основные характеристики программного модуля.
Методы разработки структуры программы.
Контроль структуры программы.
Литература к лекции.
Разработка программного модуля.
Порядок разработки программного модуля.
Структурное программирование.
Пошаговая детализация и понятие о псевдокоде.
Контроль программного модуля.
Литература к лекции.
Доказательство свойств программ.
Обоснования программ. Формализация свойств программ.
Свойства простых операторов.
Свойства основных конструкций структурного программирования.
Завершимость выполнения программы.
Пример доказательства свойства программы.
Литература к лекции.
Тестирование и отладка программного средства.
Основные понятия.
Принципы и виды отладки.
Заповеди отладки.
Автономная отладка модуля.
Комплексная отладка программного средства.
Литература к лекции.
Обеспечение функциональности и надежности программного средства.
Функциональность и надежность как обязательные критерии качества программного средства.
Обеспечение завершенности программного средства.
Обеспечение точности программного средства.
Обеспечение автономности программного средства.
Обеспечение устойчивости программного средства.
Обеспечение защищенности программных средств.
Литература к лекции.
Обеспечение качества программного средства.
Общая характеристика процесса обеспечения качества программного средства.
Обеспечение легкости применения программного средства.
Обеспечение эффективности программного средства.
Обеспечение сопровождаемости программного средства.
Обеспечение мобильности программного средства.
Литература к лекции.
Документирование программных средств.
Документация, создаваемая в процессе разработки программных средств.
Пользовательская документация программных средств.
Документация по сопровождению программных средств.
Литература к лекции.
Аттестация программного средства.
Назначение аттестации программного средства.
Виды испытаний программного средства.
Методы оценки качества программного средства.
Литература к лекции.
Оъектный подход к разработке программных средств.
Объекты и отношения в программировании. Сущность объектного подхода к разработке программных средств.
Объекты и субъекты в программировании.
Объектный и субъектный подходы к разработке программных средств.
Объектный подход к разработке внешнего описания и архитектуры программного средства.
Особенности объектно-ориентированного программирования.
Литература к лекции.
Компьютерная поддержка разработки и сопровождения программных средств.
Инструменты разработки программных средств.
Инструментальные среды разработки и сопровождения программных средств.
Инструментальные среды программирования.
Понятие компьютерной технологии разработки программных средств и ее рабочие места.
Инструментальные системы технологии программирования.
Литература к лекции.
Обязанности и ответственность программистов. Интеллектуальная собственность.

Файл прикреплен.

grom, можешь тут еще глянуть:
**********
**********
Или еще в каком там разделе, правда скачка баллами ограничена, но можно их зарабатывать добавляя, думаю разберешься как и что там скачать, если что то найдешь ))
**********

3173
Николай @grom
admiral, почитаем.

2
John @ig7890
Вот тут есть довольно неплохие книги
**********