Formal Methods for Open Object-Based Distributed Systems de Paolo Ciancarini

Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy: 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

Toate formatele și edițiile

	Preț	Express
Paperback (1)	1229^.39 lei 6-8 săpt.
Springer Us – 17 ian 2013	1229^.39 lei 6-8 săpt.
Hardback (1)	1237^.63 lei 6-8 săpt.
Springer Us – 28 feb 1999	1237^.63 lei 6-8 săpt.

Din seria IFIP Advances in Information and Communication Technology

20%

Preț: 559^.95 lei
20%

Preț: 746^.71 lei
20%

Preț: 555^.69 lei
20%

Preț: 623^.07 lei
20%

Preț: 623^.39 lei
20%

Preț: 327^.36 lei
Preț: 382^.30 lei
20%

Preț: 323^.23 lei
20%

Preț: 327^.99 lei
20%

Preț: 528^.48 lei
15%

Preț: 527^.06 lei
20%

Preț: 527^.38 lei
20%

Preț: 424^.44 lei
15%

Preț: 624^.01 lei
20%

Preț: 1116^.37 lei
18%

Preț: 909^.08 lei
20%

Preț: 1232^.88 lei
20%

Preț: 689^.95 lei
18%

Preț: 911^.54 lei
15%

Preț: 616^.15 lei
18%

Preț: 1216^.83 lei
15%

Preț: 613^.18 lei
15%

Preț: 611^.74 lei
20%

Preț: 957^.62 lei
20%

Preț: 619^.71 lei
15%

Preț: 616^.45 lei
20%

Preț: 944^.97 lei
20%

Preț: 1231^.59 lei
20%

Preț: 1226^.84 lei
20%

Preț: 616^.05 lei
20%

Preț: 1232^.08 lei
20%

Preț: 952^.00 lei
20%

Preț: 1232^.88 lei
18%

Preț: 1183^.12 lei
15%

Preț: 611^.23 lei
18%

Preț: 911^.54 lei
18%

Preț: 1171^.97 lei
20%

Preț: 1848^.88 lei
15%

Preț: 611^.23 lei
18%

Preț: 914^.70 lei
20%

Preț: 968^.03 lei
20%

Preț: 2110^.89 lei
20%

Preț: 1237^.63 lei
20%

Preț: 634^.64 lei
20%

Preț: 623^.22 lei
20%

Preț: 1235^.90 lei
20%

Preț: 1327^.97 lei
18%

Preț: 1180^.37 lei
20%

Preț: 623^.18 lei

Specificații

ISBN-13: 9781475752663
ISBN-10: 1475752660
Pagini: 452
Ilustrații: XII, 436 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.63 kg
Ediția:Softcover reprint of the original 1st ed. 1999
Editura: Springer Us
Colecția Springer
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.