Устаревшие материалы
Информатика и вычислительная техника
  • формат djvu
  • размер 4.44 МБ
  • добавлен 03 февраля 2011 г.
Ван Тассел Д. Стиль, разработка, эффективность, отладка и испытание программ
1981г. -320с. -Москва
Стиль написания программ.
Рациональные методы их разработки и оптимизации.
Стратегия отладки и тестирования.
Книга предназначена для начинающих программистов.
Смотрите также

Жоголев Е.А. Введение в технологию программирования

  • формат htm, pdf
  • размер 509.76 КБ
  • добавлен 01 июня 2009 г.
Е. А. Жоголев. Введение в технологию программирования (конспект лекций). - М.: "ДИАЛОГ-МГУ". Надежное программное средство как продукт технологии программирования. Исторический и социальный контекст программирования. Источники ошибок в программном средстве. Общие принципы разработки программных средств. Внешнее описание программного средства. Методы спецификации семантики функций. Архитектура программного средства. Разработка структуры программы...

Иванова Г.С. Технология программирования

  • формат pdf
  • размер 9.91 МБ
  • добавлен 01 июня 2009 г.
Подробно рассмотрены основные методы и нотации, применяемые при разработке сложного программного обеспечения. При этом особое внимание уделено проектированию программных систем с использованием структурного, объектного и компонентного подходов. Детально разобраны основные приемы обеспечения требуемых технологических свойств. Приведена классификация и проанализированы принципы проектирования пользовательских интерфейсов программного обеспечения. И...

Ивановский С.А. Разработка корректных программ

  • формат pdf
  • размер 953.89 КБ
  • добавлен 25 сентября 2010 г.
Учеб. пособие. СПб.: Изд-во ЛЭТИ, 2003. 100 с. Содержит основные правила, приемы и примеры разработки корректных программ, базирующиеся на идеях и методах верификации программ. Используются язык программирования Паскаль и правила вывода для основных конструкций этого языка. Основное внимание уделено программированию задач с файлами и массивами.

Камаев В.А. Технологии программирования: Учебник

  • формат djvu
  • размер 3.69 МБ
  • добавлен 28 сентября 2010 г.
В. А. Камаев, В. В. Костерин. — 2-е изд., перераб. и доп. — М.: Высш. шк. , 2006. - 454 с: ил. © ФГУП «Издательство «Высшая школа», 2006 В книге изложены технологии структурного программирования, объектно-ориентированного проектирования, визуального программирования, технология, основанная на абстракции данных Дейкстеры. Рассмотрено использование средств автоматизации проведения программных разработок. Второе издание (1-е — 2005 г. ) дополнено...

Лаврищева Е.М. Методы программирования. Теория, инженерия, практика

  • формат pdf
  • размер 4.02 МБ
  • добавлен 17 августа 2011 г.
Лаврищева Е.М. Методы программирования. Теория, инженерия, практика. - Киев: Наукова думка, 2006. - 452с. ISBN 978-966-00-0614-4 В монографии систематизированы и изложены теория, инженерия и практика современных методов программирования. Определены основы методов интеграции и преобразования разноязыковых программ и данных, рассмотрены методы спецификации и доказательства программ, верификации и тестирования, а также планирования и управления прог...

Липаев В.В. Тестирование программ

  • формат djvu
  • размер 7.88 МБ
  • добавлен 01 октября 2010 г.
М.: Радио и связь, 1986 г. 296 с. Рассматриваются методы тестирования программных модулей и сложных комплексов программ. Анализируются эффективность методов, а также средства, автоматизирующие процесс тестирования. Даются рекомендации по эффективному применению тестирования на разных этапах проектирования и сопровождения программ тестирования. Для инженерно-технических работников, занимающихся проектированием и эксплуатацией программного обеспеч...

Майерс Г. Искусство тестирования программ

  • формат djvu
  • размер 1.42 МБ
  • добавлен 22 октября 2009 г.
Библия для тесторов ПО. Одна из основополагающих книг. Достаточно широко и популярно излагаются основные принципы методологии тестирования и отладки программ. Рассматриваются вопросы психологии и экономики тестирования. Значительное место отводится методам корректировки программ. Для специалистов, занимающихся программированием, студентов и аспирантов.

Методичка по лабораторной работе №1

  • формат doc
  • размер 15.92 КБ
  • добавлен 26 мая 2005 г.
Автор неизвестен. Методические указания к лабораторной работе тестирование программ методами белого ящика’ по дисциплине технология программирования. Усвоение студентами методов тестирования логики программы, формализованного описания результатов тестирования и стандартов по составлению схем программ.

Силаенков А.Н. Лекции по технологии программирования

  • формат doc
  • размер 3.88 МБ
  • добавлен 24 мая 2009 г.
Введение в технологию программирования. Характеристики программного обеспечения. Жизненный цикл программного обеспечения. Этапы решения задач на ЭВМ. Этапы разработки программы. Структурное программирование. Пошаговая детализация - основной метод построения текста программного модуля. Объектно-ориентированное программирование. Программирование ветвлений и циклов. Объектно - ориентированное программирование. Программирование обработки таблиц. Объе...

Технология программирования. Лекции

  • формат doc
  • размер 1.22 МБ
  • добавлен 16 марта 2010 г.
Надежное программное средство как продукт технологии программирования. Исторический и социальный контекст программирования. Источники ошибок в программных средствах. Общие принципы разработки программных средств. Внешнее описание программного средства. Методы спецификации семантики функций. Архитектура программного средства. Разработка структуры программы и модульное программирование. Разработка программного модуля. Доказательство свойств програм...