Спецификация требований к программному обеспечению

Экстремальное программирование - это упрощенная методика организации производства для небольших и средних по размеру команд разработчиков, занимающихся созданием программного продукта в условиях неясных или быстро меняющихся требований. Данная книга поможет определить, оправдано ли применение XP в вашей ситуации. Основные вопросы, которые рассматриваются в этой книге: экономические аспекты программного обеспечения; стоимость внесения изменений; б...

Издательско-торговый дом «Русская Редакция», 2004. —576с.: ил. Эта книга посвящена разработке качественных требований к продукту. Здесь описаны дюжины проверенных на практике способов выявления, формулирования, разработки, проверки, утверждения и тестирования требований к ПО, которые помогут разработчикам ПО, менеджерам и маркетологам создать эффективное ПО. Это перевод второго издания оригинальной книги, которое дополнено новыми главами о роли...

ИНФРА-М, 2008. - 400 с. Рассматриваются основные понятия и определения, классификация ПО, этапы создания программного продукта в рамках жизненного цикла, освещается современное состояние технологий разработки программных продуктов. Изложены существующие подходы к оценке качества процессов создания ПО, произведен анализ требований и определение спецификаций ПО. Большое внимание уделено вопросам проектирования ПО, его надежности, коллективной разр...

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

Издательство Вильямс, 2002. 384 с. Напряженная, жесткая, порою даже жестокая, конкуренция на современном рынке программного обеспечения заставляет максимально быстро поставлять программные продукты на рынок. Проблема непрерывного поддержания должного уровня качества и, в то же время, соблюдения календарного плана приводит к созданию новых стратегий тестирования, неразрывно связанных с процессом разработки. Не смотря на то, что идеальное программ...

СПб.: БХВ-Петербург, 2010. - 560 с. - ISBN: 978-5-9775-0404-1 В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, би...

СПб.: БХВ-Петербург, 2010. - 560 с. - ISBN: 978-5-9775-0404-1 В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, би...

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

Соммервилл, Иан. Инженерия программного обеспечения, 6-е издание.: Пер. с англ. – М.: Издательский дом "Вильямс", 2002. – 624 с.: ил. === Данная книга является прекрасным введением в инженерию программного обеспечения. Здесь дана широкая панорама тем инженерии ПО, охватывающих все этапы и технологии разработки программных систем. В семи частях книги представлен весь спектр процессов, ведущих к созданию программного обеспечения: от начальной разра...

Основные понятия подходы, приемы обеспечения технологичесности программных продуктов, определение и анализ требований.