Данная книга описывает процесс создания распределенных, параллельных систем и систем реального времени с точки зрения проектирования архитектуры системы. Подробно рассмотрены ключевые вопросы, возникающие в процессе разработки: управление временем отклика, синхронизация, актуальность и непротиворечивость данных. Автор показывает, как с помощью одной и той же универсальной нотации UML описать такие, казалось бы, далекие области, как автоматизированная банковская система, бортовой компьютер автомобиля и система управления лифтами в многоэтажном здании - без привязки к какой-либо программной или аппаратной платформе и языку программирования.
The Unified Modeling Language (UML) helps you manage this complexity. Whether you’re looking to use UML as a blueprint language, a sketch tool, or as a programming language, this book will give you the need-to-know information on how to apply UML to your project. While there are plenty of books available that describe UML, Learning UML 2.0 will show you how to use it. Topics covered include: * Capturing your system’s requirements in your model to help you ensure that your designs meet your users’ needs * Modeling the parts of your system and their relationships * Modeling how the parts of your system work together to meet your system’s requirements * Modeling how your system moves into the real world, capturing how your system will be deployed
Engaging and accessible, this book shows you how to use UML to craft and communicate your project’s design. Russ Miles and Kim Hamilton have written a pragmatic introduction to UML based on hard-earned practice, not theory. Regardless of the software process or methodology you use, this book is the one source you need to get up and running with UML 2.0. Additional information including exercises can be found at www.learninguml2.com.
Рассмотрены основы унифицированного языка моделирования UML, даются рекомендации по использованию средств данного языка при моделировании программного обеспечения, приводятся примеры разработки моделей информационных систем. Учебное пособие составлено в соответствии с Государственным образовательным стандартом высшего профессионального образования по специальности "Прикладная информатика (в сфере сервиса)".
Учебное пособие "Моделирование на UML" содержит подробное описание всех основных версий унифицированного языка моделирования UML и набор рекомендаций по применению языка для моделирования программных систем. В первой главе дается общий обзор языка. Во второй главе рассматривается самый важный, по мнению авторов, аспект моделирования - моделирование использования, которое обычно является первым этапом построения реальных моделей. Третья и четвертая главы посвящены моделированию структуры и моделированию поведения, соответственно. Эти достаточно объемные главы содержат большое количество практических примеров. В пятой главе рассматриваются вопросы, которые относятся, главным образом, не к самому языку, а к применению языка при разработке реальных моделей, в том числе для больших систем. Эта глава адресована скорее менеджером проектов, нежели начинающим разработчикам.
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях.
Гради Буч, Роберт А. Максимчук, Майкл У. Энгл, Бобби Дж. Янг, Джим Коналлен, Келли А. Хьюстон
Год издания: 2008 Страниц: 720 Язык: русский
Книга представляет собой новое издание бестселлера Гради Буча по объектно-ориентированному анализу и проектированию. Авторы описывают методы решения сложных проблем, связанные с разработкой систем и программного обеспечения. Используя многочисленные примеры, они иллюстрируют основные концепции объектно-ориентированного подхода на примере разработки систем управления, сбора данных и искусственного интеллекта. Читатели найдут в книге практические советы, касающиеся важных вопросов анализа, проектирования, реализации и оптимального управления проектами. Книга будет полезна системным аналитикам и архитекторам, программистам, преподавателям и студентам высших учебных заведений, а также все специалистам по информационным технологиям.
UML (Unified Modelling Language) is a graphical modelling language used to specify, visualize, construct, and document applications and software systems, which are implemented with components and object-oriented programming languages, such as Java, C++, and Visual Basic. This guidebook to UML shows programmers how to use UML to design large, complex enterprise applications that enable scalability, security, and robust execution.
Унифицированный язык моделирования (Unified Modeling Language, UML) является графическим языком для визуализации, специфицирования, конструирования и документирования систем, в которых большая роль принадлежит программному обеспечению. С помощью UML можно разработать детальный план создаваемой системы, содержащий не только ее концептуальные элементы, такие как системные функции и бизнес-процессы, но и конкретные особенности, например, классы, написанные на специальных языках программирования, схемы баз данных и программные компоненты многократного использования. Предлагаемое вашему вниманию руководство пользователя содержит справочный материал, дающий представление о том, как можно использовать UML для решения разнообразных проблем моделирования. В книге подробно, шаг за шагом, описывается процесс разработки программных систем на базе данного языка.
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, you'll 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.
Информация о курсе Курс посвящён теории алгоритмов и элементам дискретной математики. Основная цель курса - научиться эффективно решать алгоритмические задачи, вооружиться фундаментальными идеями и методами, выработать системный подход к решению алгоритмических задач. Курс знакомит с классическими методами и задачами теории алгоритмов, а также важнейшими современными задачами информатики. Курс ориентирован на математиков и программистов, студентов 1-5 курсов, предполагающих активно использовать компьютеры для решения прикладных или теоретических задач.
![Скачать Алгоритмы: построение и анализ [2010 г.]](http://pc-ebooks.com/a/2010-05-22/118543-0.jpg "Скачать Алгоритмы: построение и анализ [2010 г.]")