Kontakt
Wie einkaufen
Versand
Kaufberater
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
Englisch
478 b
Lieferung in Griechenland
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
/
Broschur
30.52
€
/
Broschur
15.15
€
/
Broschur
25.57
€
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.
Informationen zum Buch
Englisch
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefertDas könnte Sie auch interessieren
/
Broschur
32.85
€
/
Hardcover
52.96
€
Hallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?