Все книги на сайте представлены исключительно в ознакомительных целях! Наша электронная библиотека не преследует никакой коммерческой выгоды! Авторам, желающим внести поправки, просим связаться с администрацией.
| автор: gol8425 | 13 октября 2011 | Просмотров: 308
Название: UML-проектирование систем реального времени параллельных и распределенных приложений Автор: Гома Х Издательство: ДМК-Пресс Год издания: 2011 Язык: Русский Формат: DjVu Качество: отличное Размер: 14,38 Мб
Описание: Данная книга описывает процесс создания распределенных, параллельных систем и систем реального времени с точки зрения проектирования архитектуры системы. Подробно рассмотрены ключевые вопросы, возникающие в процессе разработки: управление временем отклика, синхронизация, актуальность и непротиворечивость данных. Автор показывает, как с помощью одной и той же универсальной нотации UML описать такие, казалось бы, далекие области, как автоматизированная банковская система, бортовой компьютер автомобиля и система управления лифтами в многоэтажном здании - без привязки к какой-либо программной или аппаратной платформе и языку программирования.
Название: Моделирование информационных систем с помощью UML Автор: Червенчук И.В. Издательство: Омск: ОГИС Год издания: 2006 Страниц: 65 Язык: Русский Формат: pdf, doc Размер: 2.3 Мб
Описание:
Рассмотрены основы унифицированного языка моделирования UML, даются рекомендации по использованию средств данного языка при моделировании программного обеспечения, приводятся примеры разработки моделей информационных систем. Учебное пособие составлено в соответствии с Государственным образовательным стандартом высшего профессионального образования по специальности "Прикладная информатика (в сфере сервиса)".
Название: Моделирование на UML: Учебно-методическое пособие Автор: Иванов Д., Новиков Ф. Издательство: СПбГУ ИТМО Год издания: 2010 Страниц: 200 Язык: Русский Формат: pdf Размер: 2.3 Мб
Описание:
Учебное пособие "Моделирование на UML" содержит подробное описание всех основных версий унифицированного языка моделирования UML и набор рекомендаций по применению языка для моделирования программных систем.
| автор: Sniper-Forewer | 15 февраля 2011 | Просмотров: 430
Название: Model Checking. Верификация параллельных и распределенных программных систем Автор: Ю. Г. Карпов Издательство: БХВ-Петербург ISBN: 978-5-9775-0404-1 Год издания: 2010 Страниц: 552 Язык: Русский Формат: djvu Качество: хорошее Размер: 12.2 Мб
Описание: В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях.
На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий.
| автор: UaZver2009 | 9 июля 2010 | Просмотров: 570
Название: Database Modeling and Design: Logical Design (4 edition) Автор: Teorey T.J., Nadeau T., Lightstone S. Издательство: Morgan Kaufmann ISBN: 978-0126853520 Год издания: 2005 Страниц: 296 Язык: Английский Формат: PDF Качество: отличное Размер: 10.4 Мб
Описание: Database systems and database design technology have undergone significant evolution in recent years. The relational data model and relational database systems dominate business applications; in turn, they are extended by other technologies like data warehousing, OLAP, and data mining. How do you model and design your database application in consideration of new technology or new business needs?
In the extensively revised fourth edition, youll get clear explanations, lots of terrific examples and an illustrative case, and the really practical advice you have come to count on — with design rules that are applicable to any SQL-based system.
| автор: shurapopov | 26 октября 2009 | Просмотров: 1154
Название: Самоучитель UML Автор: Александр Леоненков Издательство: БХВ-Петербург ISBN: 5-94157-342-1 Год издания: 2004 Страниц: 432 Язык: Русский Формат: rtf Качество: отличное Размер: 2,28 Мб
Описание: Цель книги - помочь менеджерам и руководителям проектов, руководителям информационных служб, бизнес-аналитикам, корпоративным программистам и ведущим разработчикам самостоятельно освоить базовые концепции и понятия наиболее перспективной и современной методологии разработки корпоративных информационных систем для последующего применения полученных знаний в ходе выполнения реальных проектов и совершенствования бизнес-процессов с использованием соответствующих CASE-средств.
Название: Business Modeling with UML: Business Patterns at Work Автор: Hans-Erik Eriksson, Magnus Penker Год издания: 2000 Страниц: 459 Язык: Английский Формат: pdf Качество: отличное Размер: 3,8 Мб
Описание:
From the authors of UML Toolkit comes a nuts-and-bolts guide for applying UML's vast capabilities to business systems.
To perform effective business modeling and develop a successful information system, you need a reliable modeling language that allows you to establish the necessary components and satisfy all of management's concerns. You need UML. With its eagerly anticipated new set of business extensions and techniques, UML is the premiere language for both traditional business modeling and the later stages of analysis and design. Finally, only one modeling language is needed for every phase of project development. This invaluable book, the first of its kind, provides in-depth guidance on business modeling as well as discussions of how patterns, business objects, business rules, CORBA, COM, and Java all fit in to help improve every stage of object-oriented software development.
UML (Unified Modeling Language) is a drawing tool to create 'blueprints' for object-oriented systems. It has been officially adopted by the OMG. Think of UML as the AutoCAD of the computer industry. Where AutoCAD is used to create architectural blueprints for buildings, UML is used to diagram blueprints of object-oriented computer systems. Business Modeling is the first phase of software development with UML, in which business concerns are clearly outlined so that an information system with the appropriate Business Objects may be developed.
| автор: sepan | 20 апреля 2009 | Просмотров: 1177
Название: Самоучитель UМL Автор: Леоненков, Александр Васильевич Язык: Русский Формат: FB2 Качество: отличное Размер: 3.5 Мб
Описание:
Цель книги помочь самостоятельно освоить базовые концепции и понятия наиболее перспективной и современной системы, новой методологии разработки корпоративных программных приложений для последующего применения полученных знаний с использованием соответствующих CASE-инструментов
Для менеджеров и руководителей проектов, руководителей информационных служб, бизнес - аналитиков, корпоративных программистов и ведущих разработчиков.
| автор: Schachprofi | 9 февраля 2009 | Просмотров: 1683
Название: Самоучитель UML. Эффективный инструмент моделирования информационных систем Автор: А. Леоненков Серия или выпуск: Самоучитель Издательство: BHV - Санкт - Петербург ISBN: 5-94157-008-2 Год издания: 2001 Язык: Русский Формат: HTML / JPEG Качество: хорошее Размер: 3,88 Мб
Описание: В книге рассматриваются основы UML - унифицированного языка моделирования для описания, визуализации и документирования объектно-ориентированных систем и бизнес-процессов в ходе разработки программных приложений.
Название: Моделирование информационных систем с помощью UML
Название: Моделирование на UML: Учебно-методическое пособие
Название: Самоучитель UML
Название: Самоучитель UML. Эффективный инструмент моделирования информационных систем