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

Учебник ТРПО

 
1

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

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

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

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

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

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

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

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

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

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

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

Формат - word (.doc)
Содержание:
  1. Введение.
  2. Надежное программное средство как продукт технологии программирования. Исторический и социальный контекст программирования.
  3. Программа как формализованное описание процесса обработки данных. Программное средство.
  4. Неконструктивность понятия правильной программы.
  5. Надежность программного средства.
  6. Технология программирования как технология разработки надежных программных средств.
  7. Технология программирования и информатизация общества.
  8. Литература к лекции.
  9. Источники ошибок в программном средстве.
  10. Интеллектуальные возможности человека.
  11. Неправильный перевод как причина ошибок в программном средстве.
  12. Модель перевода.
  13. Основные пути борьбы с ошибками.
  14. Литература к лекции.
  15. Общие принципы разработки программных средств.
  16. Специфика разработки программных средств.
  17. Жизненный цикл программного средства.
  18. Понятие качества программного средства.
  19. Обеспечение надежности - основной мотив разработки программных средств.
  20. Методы борьбы со сложностью.
  21. Обеспечение точности перевода.
  22. Преодоление барьера между пользователем и разработчиком.
  23. Контроль принимаемых решений.
  24. Литература к лекции.
  25. Внешнее описание программного средства.
  26. Назначение внешнего описания программного средства и его роль в обеспечении качества программного средства.
  27. Определение требований к программному средству.
  28. Спецификация качества программного средства.
  29. Функциональная спецификация программного средства.
  30. Методы контроля внешнего описания программного средства.
  31. Литература к лекции.
  32. Методы спецификации семантики функций.
  33. Основные подходы к спецификации семантики функций.
  34. Метод таблиц решений.
  35. Операционная семантика.
  36. Денотационная семантика.
  37. Аксиоматическая семантика.
  38. Языки спецификаций.
  39. Литература к лекции.
  40. Архитектура программного средства.
  41. Понятие архитектуры программного средства.
  42. Основные классы архитектур программных средств.
  43. Архитектурные функции.
  44. Контроль архитектуры программного средства.
  45. Литература к лекции.
  46. Разработка структуры программы и модульное программирование.
  47. Цель модульного программирования.
  48. Основные характеристики программного модуля.
  49. Методы разработки структуры программы.
  50. Контроль структуры программы.
  51. Литература к лекции.
  52. Разработка программного модуля.
  53. Порядок разработки программного модуля.
  54. Структурное программирование.
  55. Пошаговая детализация и понятие о псевдокоде.
  56. Контроль программного модуля.
  57. Литература к лекции.
  58. Доказательство свойств программ.
  59. Обоснования программ. Формализация свойств программ.
  60. Свойства простых операторов.
  61. Свойства основных конструкций структурного программирования.
  62. Завершимость выполнения программы.
  63. Пример доказательства свойства программы.
  64. Литература к лекции.
  65. Тестирование и отладка программного средства.
  66. Основные понятия.
  67. Принципы и виды отладки.
  68. Заповеди отладки.
  69. Автономная отладка модуля.
  70. Комплексная отладка программного средства.
  71. Литература к лекции.
  72. Обеспечение функциональности и надежности программного средства.
  73. Функциональность и надежность как обязательные критерии качества программного средства.
  74. Обеспечение завершенности программного средства.
  75. Обеспечение точности программного средства.
  76. Обеспечение автономности программного средства.
  77. Обеспечение устойчивости программного средства.
  78. Обеспечение защищенности программных средств.
  79. Литература к лекции.
  80. Обеспечение качества программного средства.
  81. Общая характеристика процесса обеспечения качества программного средства.
  82. Обеспечение легкости применения программного средства.
  83. Обеспечение эффективности программного средства.
  84. Обеспечение сопровождаемости программного средства.
  85. Обеспечение мобильности программного средства.
  86. Литература к лекции.
  87. Документирование программных средств.
  88. Документация, создаваемая в процессе разработки программных средств.
  89. Пользовательская документация программных средств.
  90. Документация по сопровождению программных средств.
  91. Литература к лекции.
  92. Аттестация программного средства.
  93. Назначение аттестации программного средства.
  94. Виды испытаний программного средства.
  95. Методы оценки качества программного средства.
  96. Литература к лекции.
  97. Оъектный подход к разработке программных средств.
  98. Объекты и отношения в программировании. Сущность объектного подхода к разработке программных средств.
  99. Объекты и субъекты в программировании.
  100. Объектный и субъектный подходы к разработке программных средств.
  101. Объектный подход к разработке внешнего описания и архитектуры программного средства.
  102. Особенности объектно-ориентированного программирования.
  103. Литература к лекции.
  104. Компьютерная поддержка разработки и сопровождения программных средств.
  105. Инструменты разработки программных средств.
  106. Инструментальные среды разработки и сопровождения программных средств.
  107. Инструментальные среды программирования.
  108. Понятие компьютерной технологии разработки программных средств и ее рабочие места.
  109. Инструментальные системы технологии программирования.
  110. Литература к лекции.
  111. Обязанности и ответственность программистов. Интеллектуальная собственность.

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

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

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

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

0





Согласие на обработку данных на нашем сайте

Продолжая просматривать страницу, вы соглашаетесь с использованием файлов «Cookie» и с Политикой конфиденциальности «Privacy».
Наверху или внизу страницы вы можете изменить валюту и язык по умолчанию. Английская версия сайта ещё находится в доработке и доступна не полностью.