Электронная книга: Fabrice Kordon «Models and Analysis for Distributed Systems»
|
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms– from the same editors – introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish togain an overview of the application of formal methods in the design of distributed systems. Master’s and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area. Издательство: "John Wiley&Sons Limited"
ISBN: 9781118602690 электронная книга Купить за 12741.47 руб и скачать на Litres |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Distibuted Systems. Design and Algorithms | In today’s digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems. Distributed Systems… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга |
См. также в других словарях:
Construction and Analysis of Distributed Processes — Developer(s) the INRIA VASY team Initial release 1986, 24–25 years ago Stable release … Wikipedia
Distributed computing — is a field of computer science that studies distributed systems. A distributed system consists of multiple autonomous computers that communicate through a computer network. The computers interact with each other in order to achieve a common goal … Wikipedia
Distributed temperature sensing — systems (DTS) are optoelectronic devices which measure temperatures by means of optical fibres functioning as linear sensors. Temperatures are recorded along the optical sensor cable, thus not at points, but as a continuous profile. A high… … Wikipedia
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
Systems Modeling Language — Sysml diagrams collage The Systems Modeling Language (SysML) is a general purpose modeling language for systems engineering applications. It supports the specification, analysis, design, verification and validation of a broad range of systems and … Wikipedia
Distributed element model — Fig.1 Transmission line. The distributed element model applied to a transmission line. This article is an example from the domain of electrical systems, which is a special case of the more general distributed parameter systems. In electrical… … Wikipedia
