Formal Methods for Distributed Processing

Name: Formal Methods for Distributed Processing
Brand: Cambridge University Press
SKU: 9780521771849
Price: 182.98 EUR
Availability: InStock

A Survey of Object-Oriented Approaches

Автор: Howard BowmanJohn Derrick

Език:

Корици: С твърди корици

Издател: Cambridge University Press

Наличност: Външен склад

Изпращаме след 9-15 дни

182.98 € 357.87 лв

Originally published in 2002, this book presents techniques in the application of formal methods to...

Информация за книгата

Автор

Howard BowmanJohn Derrick

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2001

страници

492

EAN

9780521771849

ISBN

0521771846

Enbook ID

02042589

Издател

Cambridge University Press

Теглоt

1015

Размери

178 x 254 x 27

Пълно описание

Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal Methods for Distributed Processing

A Survey of Object-Oriented Approaches

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също