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

1981г. -320с. -Москва Стиль написания программ. Рациональные методы их разработки и оптимизации. Стратегия отладки и тестирования. Книга предназначена для начинающих программистов.

Минск.: БГУИР, 2003. - 72 с. ISBN 985-444-528-3 Учебное пособие по курсам «Основы алгоритмизации и программирования» и «Технология разработки программного обеспечения» для студентов специальности 40 01 01 «Программное обеспечение информационных технологий» дневной формы обучения В учебном пособии даны общие сведения о программном обеспечении. Приведено описание основ алгоритмизации, рассмотрены способы описания и разновидности структур алгоритм...

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

Крупский А. Ю. Феоктистова Л. А. Разработка и стандартизация программных средств Издательство: Дашков и Ко, Год: 2008 Страниц: 160 В учебном пособии содержатся теоретические и практические сведения о порядке разработки программных средств и информационных технологий. Рассмотрены основные проблемы и показана эволюция языков программирования. Проанализированы процессы жизненного цикла программных средств. Детально рассмотрены перечни работ и задач...

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

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

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

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

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

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