Липаев В.В. Документирование сложных программных средств

Учеб. пособие / В. А. Благодатских, В. А. Волнин, К. Ф. Поскакалов; Под ред. О. С. Разумова. М.: Финансы и статистика, 2005. -288 с: ил. Создание конкурентоспособной программной продукции невозможно без использования соответствующих стандартов на всех этапах ее разработки. В пособии описываются жизненный цикл программных средств, его процессы, подробно рассматриваются содержание и применение действующих российских и международных стандартов в обл...

Учебное пособие. - СПб.: ГУАП, 2000. - 210 с. Учебное пособие посвящено общим вопросам стандартизации в области обеспечения качества разработки программных средств. В нем описываются стандарты в области обеспечения качества ПС, рассматриваются жизненные циклы программного средства, установленные в зарубежных и отечественных стандартах, обсуждается роль документации при создании качественного ПС. Особое внимание уделено вопросам оценки процесса р...

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

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

Лаврищева Е.М., Грищенко В.Н. Сборочное программирование. Основы индустрии программных продуктов: 2-изд. Дополненное и переработанное.–Киев: Наук. думка, 2009.–372с.– ISВN 978-966-00-0848-1. В монографии систематизированы существующие подходы и методы сборки сложных программ из более простых программных ресурсов (модулей, компонентов, компонентов повторного использования – КПИ и программ). Приведено теоретическое обобщение и обоснование метода...

2002 г. В методических рекомендациях рассмотрены основные понятия, факторы и методы обеспечения качества в жизненном цикле (ЖЦ) сложных программных средств (ПС). Систематически изложены основы стандартизации в области качества ПС, а также содержание комплекса международных стандартов, регламентирующих качество их ЖЦ. Представлены принципы и методы верификации, тестирования и испытаний сложных комплексов программ.

Методологические основы. (Лекции). Москва 2006 г. Курс лекций предназначен для представления студентам, аспирантам и менеджерам проектов современного комплекса задач, методов и стандартов программной инженерии - создания и развития сложных, многоверсионных, тиражируемых программных средств и баз данных требуемого высокого качества. Содержание: Предисловие. Программная инженерия в жизненном цикле программных средств. Профили стандартоы жизненного...

Липаев В.В. Сертификация программных средств. Учебник. - М.: СИНТЕГ, 2010. - 344с. ISBN 978-5-89638-114-3 В учебнике изложены принципы, методы и средства обеспечения качества в жизненном цикле сложных программных средств (ПС), контроль и подтверждение их соответствие исходным требованиям заказчиков с учетом действующей законодательной базы сертификации и требований национальных и международных стандартов. Качество ответственных программных продук...

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

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