Name: Formal Methods for Open Object-Based Distributed Systems
Price: 1237.63 RON
Availability: OnlineOnly
Author: Paolo Ciancarini
ISBN: 9780792384298

Formal Methods for Open Object-Based Distributed Systems: IFIP Advances in Information and Communication Technology, cartea 10

Paolo Ciancarini

Alessandro Fantechi

Roberto Gorrieri

en Limba Engleză Paperback – 17 ian 2013

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.
Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods.
This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999.
Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.

Citește tot Restrânge

Din seria IFIP Advances in Information and Communication Technology

20%

Preț: 334^.13 lei
Preț: 382^.30 lei
20%

Preț: 323^.23 lei
20%

Preț: 329^.80 lei
20%

Preț: 544^.99 lei
20%

Preț: 438^.53 lei
15%

Preț: 624^.01 lei
20%

Preț: 1122^.44 lei
20%

Preț: 523^.54 lei
18%

Preț: 914^.16 lei
20%

Preț: 1259^.11 lei
20%

Preț: 694^.32 lei
20%

Preț: 1387^.21 lei
20%

Preț: 511^.28 lei
20%

Preț: 752^.82 lei
20%

Preț: 753^.04 lei
18%

Preț: 1184^.70 lei
20%

Preț: 1246^.15 lei
20%

Preț: 1256^.72 lei
18%

Preț: 920^.96 lei
33%

Preț: 535^.48 lei
20%

Preț: 632^.01 lei
15%

Preț: 627^.39 lei
20%

Preț: 968^.39 lei
15%

Preț: 625^.33 lei
20%

Preț: 970^.44 lei
20%

Preț: 630^.06 lei
20%

Preț: 1235^.50 lei
20%

Preț: 1247^.98 lei
18%

Preț: 1193^.24 lei
20%

Preț: 1251^.13 lei
18%

Preț: 911^.42 lei
20%

Preț: 1240^.76 lei
18%

Preț: 1198^.80 lei
20%

Preț: 969^.20 lei
18%

Preț: 1189^.45 lei
20%

Preț: 1251^.50 lei
18%

Preț: 929^.48 lei
20%

Preț: 1250^.27 lei
20%

Preț: 1249^.03 lei
20%

Preț: 964^.45 lei
18%

Preț: 925^.91 lei
20%

Preț: 955^.16 lei
18%

Preț: 913^.86 lei
20%

Preț: 1247^.77 lei
18%

Preț: 1194^.20 lei
18%

Preț: 1202^.36 lei
20%

Preț: 964^.61 lei

Specificații

ISBN-13: 9781475752663
ISBN-10: 1475752660
Pagini: 452
Ilustrații: XII, 436 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.68 kg
Ediția:Softcover reprint of the original 1st ed. 1999
Editura: Springer
Colecția IFIP Advances in Information and Communication Technology
Seria IFIP Advances in Information and Communication Technology

Locul publicării:New York, NY, United States

Cuprins

Preface. Part 1: Languages. Piccola - A Small Compositional Language; O. Nierstrasz. An Algebra of Actors; M. Gaspari, G. Zavattaro. Developing Object-Based Distributed Systems; M. Bonsangue, et al. Part 2: Semantics I. Reasoning About Histories in Object-Based Distributed Systems; F.S. de Boer. Mobile Nets; N. Busi. Observation Equivalences for the Semantics of Inheritance; C. Balzarotti, et al. Part 3: Java and Coordination. Tools for Integrating Formal Methods into the Java Software Development Process; S. Sankar. Design and Implementation of Coordination Protocols for Distributed Cooperating Objects: A General Graph-Based Technique Applied to CORBA; K. Drira, et al. Specifying Component-Based Java Applications; S. Cimato. Part 4: Object Composition and Reuse. Object Composition: A Case Study; D. Ramazani, G. v. Bochmann. Specifying Reusable Controllers for Software Components; J.M. Troya, A. Vallecillo. Composition and Interaction for Behavioural Specifications; S. Veglioni, F. Parisi-Presicce. Part 5: Telecommunications. Distributed Feature Composition: An Architecture for Telecommunication Services; P. Zave. Pattern Application vs. Inheritance in SDL; B. Gepert, et al. Engineering Telecommunication Services with SDL; R. Sinnott, M. Kolberg. SDL in Rigorous Object-Oriented Analysis; R.G. Clark, A.M.D. Moreira. Part 6: Formal Methods. A Junction Between State Based and Behavioural Specification; H. Bowman, J. Derrick. Protocol Assuring Universal Language; R. van Rein, M. Fokkinga. Specification of Dynamic Reconfiguration in the Context of Input/Output Relations; K. Stoelen.Assessing Service Properties with Regard to a Requested QoS: The Service Metric; C. Linnhoff-Popien, D. Thissen. Combining Design Methods for Service Development; M.Born, et al. Part 7: Emerging Standards. LSCs: Breathing Life Into Message Sequence Charts; W. Damm, D. Harel. Modular Reasoning for Actor Specification Diagrams; S.F. Smith, C.L. Talcott. Towards a Formal Operational Semantics of UML Statechart Diagrams; D. Latella, et al. Part 8: Semantics II. Foundations for Wide-Area Systems; L. Cardelli. Calculi for Concurrent Objects; C. Laneev. Infinite Types for Distributed Object Interfaces; E. Najm, et al. Static Safety Analysis for Non-Uniform Service Availability in Actors; J.L. Colaco, et al. A Logic for the Specification of Multi-Object Systems; J. Broersen, R. Wieringa. Part 9: Semantics III. Distributed and Concurrent Objects Based on Linear Logic; N. Kobayashi, A. Yonezawa. Composition in Multiparadigm Specification Techniques; L. Blair, G. Blair. Formal Development of Object-Based Systems in a Temporal Logic Setting; E. Canver, F.W. von Henke.