Карта сайта Корзина В корзине: 0 товаров
На сумму: 0 руб.

Проектирование программных комплексов и информационных систем

Ю. Г. Карпов. Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM)
Цена:534 руб.Купить

Ю. Г. Карпов. Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM)

Издательство:БХВ-Петербург
Год издания:2010

В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий.

Лешек А. Мацяшек. Анализ и проектирование информационных систем с помощью UML 2.0
Цена:1628 руб.Купить

Лешек А. Мацяшек. Анализ и проектирование информационных систем с помощью UML 2.0

Издательство:Вильямс
Год издания:2008

Книга представляет собой новое издание популярного учебника Лешека Мацяшека по объектно-ориентированной разработке информационных систем. В книге подробно описаны методы анализа и проектирования промышленных информационных систем с использованием языка UML. Отличительной особенностью книги является обилие учебных примеров, упражнений, контрольных вопросов и многовариантных тестов. Уникальный характер книги обусловлен оптимальным сочетанием практического опыта и теоретических представлений. Книга будет полезна системным аналитикам и архитекторам, программистам, преподавателям и студентам высших учебных заведений, а также всем специалистам по информационным технологиям.

В. И. Грекул, Г. Н. Денищенко, Н. Л. Коровкина. Проектирование информационных систем
Цена:325 руб.Купить

В. И. Грекул, Г. Н. Денищенко, Н. Л. Коровкина. Проектирование информационных систем

Издательство:Бином. Лаборатория знаний
Год издания:2008

В курсе лекций собран материал, охватывающий все основные аспекты деятельности специалистов по проектированию информационных систем: анализ объекта автоматизации, разработку требований к системе, выбор и адаптацию программного продукта. Изложенный материал базируется на основных отечественных и международных стандартах и методологиях в области создания информационных систем. В книге с достаточной степенью детализации рассмотрены методы организационно-функционального, структурного и объектно-ориентированного анализа деятельности предприятий, приведены примеры такого анализа с использованием доступных программных инструментов. Это дает возможность использовать курс лекций так же и для изучения основных приемов работы с популярными программными продуктами. Завершается курс лекций детальным разбором практической задачи создания информационной системы, позволяющей читателю закрепить и проверить полученные знания.

Р. М. Болл, Дж. Х. Коннел, Ш. Панканти, Н. К. Ратха, Э. У. Сеньор. Руководство по биометрии
Цена:433 руб.Купить

Р. М. Болл, Дж. Х. Коннел, Ш. Панканти, Н. К. Ратха, Э. У. Сеньор. Руководство по биометрии

Издательство:Техносфера
Год издания:2007

В сегодняшнем мире постоянно растет интерес к использованию биометрических параметров (индивидуальных физических свойств, таких, как отпечатки пальцев, лицо, голос, радужная оболочка глаза, геометрия руки) для идентификации человека, они все чаще находят применение в современных системах обеспечения безопасности. Цель данного руководства - представить основополагающие понятия биометрии. В нем дается определение параметров, рассматриваются методы их измерения, а также подробно анализируются факторы, влияющие на выбор биометрических параметров для конкретных приложений. В руководстве раскрываются многие аспекты практического применения биометрической идентификационной системы. Книга будет полезна разработчикам биометрических систем, специалистам в области безопасности, студентам и аспирантам старших курсов профильных специальностей. Отличительные особенности и преимущества: Обзор современной теоретической биометрии, научных исследований и...

Крэг Ларман. Применение UML 2.0 и шаблонов проектирования
Цена:1413 руб.Купить

Крэг Ларман. Применение UML 2.0 и шаблонов проектирования

Издательство:Вильямс
Год издания:2008

Применение UML 2.0 и шаблонов проектирования - всемирно известное издание, с помощью которого можно начать "мыслить объектами" и проникнуть в самую суть объектно-ориентированного анализа и проектирования. Основываясь на двух предыдущих изданиях, получивших широкую поддержку во всем мире, Крэг Ларман полностью обновил книгу, чтобы рассказать о новом стандарте UML 2.0, помочь читателям освоить искусство объектного проектирования и способствовать развитию эффективных приемов итеративного и гибкого моделирования. Основываясь на своем беспрецедентном опыте преподавателя и консультанта, Ларман помогает читателям разобраться с подходами эволюционного определения требований и прецедентов, моделированием предметной области, проектированием на основе обязанностей, а также наиболее важными принципами объектно-ориентированного проектирования и многоуровневой архитектурой. С помощью этой книги вы сможете познакомиться также с шаблонами проектирования GoF и GRASP, итеративными методами,...

А. П. Жихарев. Автоматизированные информационные системы и ресурсы города Москвы
Цена:493 руб.Купить

А. П. Жихарев. Автоматизированные информационные системы и ресурсы города Москвы

Издательство:Юнити-Дана, Закон и право
Год издания:2006

Представлены систематизированные данные об автоматизированных информационных системах и ресурсах органов власти и подведомственных организаций города Москвы - субъекта Российской Федерации. Приведены алфавитный указатель информационных систем и ресурсов, объектно-функциональная и тематическая классификация баз данных, а также сведения о заявителях (владельцах, пользователях) и разработчиках информационных систем и ресурсов. Указаны данные об объектах нормативно-справочной информации (классификаторах, справочниках), используемых в городских информационных системах, адреса интернет-сайтов городских структур. Издание может использоваться для ускорения поиска необходимых информационных ресурсов, анализа, формирования статистики, информационной навигации и маркетинга, а также для поиска партнеров по решению задач информатизации в различных предметных областях. Для руководителей органов управления информатизацией, специалистов по разработке информационных систем и информационных...

Гради Буч, Джеймс Рамбо, Ивар Якобсон. Язык UML. Руководство пользователя
Цена:332 руб.Купить

Гради Буч, Джеймс Рамбо, Ивар Якобсон. Язык UML. Руководство пользователя

Издательство:ДМК Пресс
Год издания:2007

Унифицированный язык моделирования (Unified Modeling Language, UML) является графическим языком для визуализации, специфицирования, конструирования и документирования систем, в которых большая роль принадлежит программному обеспечению. С помощью UML можно разработать детальный план создаваемой системы, содержащий не только ее концептуальные элементы, такие как системные функции и бизнес-процессы, но и конкретные особенности, например, классы, написанные на специальных языках программирования, схемы баз данных и программные компоненты многократного использования. Предлагаемое вашему вниманию руководство пользователя содержит справочный материал, дающий представление о том, как можно использовать UML для решения разнообразных проблем моделирования. В книге подробно, шаг за шагом, описывается процесс разработки программных систем на базе данного языка. Издание адресовано читателям, которые уже имеют общее представление об объектно-ориентированных концепциях. В первую...

Лабораторные информационные системы LIMS
Цена:378.7 руб.Купить

Лабораторные информационные системы LIMS

Издательство:Прайм
Год издания:2006

Эта книга - первое руководство для желающих ознакомиться с современной информационной технологией класса LIMS (Laboratory Information Management Systems) - лабораторно-информационными системами. В книге собраны статьи специалистов, использующих LIMS различных компаний, которые передают опыт своего общения с LIMS. Делятся как знаниями "внутреннего устройства" систем этого класса, так и предлагают к рассмотрению конкретные примеры использования в различных сферах экономики: медицине, биологии, экологии, промышленности Мы уверены, что, прочитав эту книгу, читатель поймет, что LIMS -это не очередная модная выдумка, но актуальная необходимость в борьбе за качество. Книга полезна руководителям служб качества и лабораторий, специалистам по IT, а также всем, кто занимается реинжинирингом бизнес-процессов.

Бертран Мейер. Объектно-ориентированное конструирование программных систем (+ CD-ROM)
Цена:757 руб.Купить

Бертран Мейер. Объектно-ориентированное конструирование программных систем (+ CD-ROM)

Издательство:Русская Редакция
Год издания:2005

Книга посвящена обоснованию и технологии применения объектного подхода при разработке программных систем. Основное внимание уделяется вопросам качества, повторного использования и расширяемости проектируемых систем. Рассматриваемый объектный подход охватывает весь жизненный цикл разработки - анализ, проектирование, программирование и сопровождение. Книга в первую очередь ориентирована на профессиональных разработчиков программных продуктов, но представляет несомненный интерес для всех, кто изучает и использует объектный подход в программировании. Отдельные разделы могут использоваться в качестве учебника при изучении таких дисциплин, как "Объектно-ориентированное программирование", "Объектно-ориентированный анализ и проектирование". Книга содержит два предисловия, введение, 36 глав, 4 приложения. На CD, сопровождающем книгу, находится оригинальный текст книги на английском языке, библиография к книге, перевод на русский язык главы 32а, не...

А. Б. Путилин, Е. А. Юрагов. Компонентное моделирование и программирование на языке UML. Практическое руководство по проектированию информационно-измерительных систем
Цена:255 руб.Купить

А. Б. Путилин, Е. А. Юрагов. Компонентное моделирование и программирование на языке UML. Практическое руководство по проектированию информационно-измерительных систем

Издательство:НТ Пресс
Год издания:2005

Книга посвящена методике разработки программного обеспечения измерительных информационных систем на базе современных компонентных технологий. Детально рассматриваются вопросы моделирования информационных систем с использованием языка UML. Приводятся обширные теоретические сведения и практические рекомендации по основам объектного и компонентного проектирования. Также в пособии содержится информация о современных платах сбора данных и принципы создания драйверов измерительных устройств. Изучаются основы компонентно-объектной модели СОМ и возможности ее применения в создании измерительных компонентов, построенных с применением клиент-серверной архитектуры. Демонстрируются возможности языка XML в реализации открытых параметрических моделей измерительных приложений. Описываются способы применения построенных компонентов в решении прикладных задач по испытанию и диагностике технологических объектов. Данное пособие рассчитано на читателей, имеющих опыт практической работы...