| |
Применение UML 2.0 и шаблонов проектирования. 3-е издание |
|
|
Категория: Компьютерная литература » Языки программирования » Прочие языки программирования |
|
| |
| |
| |
|
Автор: Ларман Крэг
Издательство: Вильямс
Год издания: 2013
isbn: 978-5-8459-1185-8
Количество страниц: 736, ил.
Язык: русский
Формат: DOC
|
В книге рассматриваются основные принципы и приемы объектно-ориентированного анализа и проектирования (ООА/П). В ней вы найдете сведения об итеративном и гибком моделировании, шаблонах проектирования, архитектурном анализе и многих других вопросах. Весь материал рассматривается в контексте гибкого подхода к разработке с совместным применением процесса UP и других итеративных методов.
В книге рассматривается два реальных примера, позволяющих на практике освоить принципы ООА/П, а также изучить новейшую систему обозначений языка UML 2. Книга будет хорошим руководством для всех, кто интересуется вопросами ООА/П, языком моделирования UML 2 и современными эволюционными подходами к разработке программного обеспечения. |
|
| |
|
|
| |
Разработка и управление требованиями (изд. 2-е) |
|
|
Категория: Компьютерная литература » Прочее |
|
| |
| |
| |
|
Автор: Элизабет Халл, Кен Джексон, Джереми Дик
Издательство: springeronline.com
Год издания: 2005
isbn: 1-85233-879-2
Количество страниц: 240
Язык: русский
Формат: PDF
|
В книге уделяется особое внимание тому, как писать хорошие требования. Как основа для более глубокого понимания сути процесса разработки требований в книге вводится понятие общего процесса разработки требований. Применение общего процесса затем рассматривается отдельно для области проблем и для области решений. В книге также описываются основные методы моделирования требований. Одной из важнейших тем, рассмотренных в книге, являются связи и их анализ. Книга предназначена практикам, занимающимся проектированием программного обеспечения, желающим углубить свои знания в области управления требованиями.
Подход, изложенный в книге, основан на научных исследованиях в области разработки требований, однако, несмотря на это, книга отражает не только академическую точку зрения, она также базируется на большом индустриальном опыте, что позволяет специалистам взять изложенные практические идеи на вооружение для того, чтобы лучше управлять требованиями и проектами по разработке программного обеспечения. |
|
| |
|
|
| |
Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM) |
|
|
Категория: Компьютерная литература » Языки программирования » Прочие языки программирования |
|
| |
| |
| |
|
Автор: Ю. Г. Карпов
Издательство: БХВ-Петербург
Год издания: 2010
isbn: 978-5-9775-0404-1
Количество страниц: 552
Язык: русский
Формат: DJVU
|
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий. |
|
| |
|
|
|
ПОСТУПЛЕНИЯ
РУБРИКАТОР
Подробнее и с комментариями (0)