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

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)	1279^.20 lei 6-8 săpt.
Springer Us – 17 ian 2013	1279^.20 lei 6-8 săpt.
Hardback (1)	1287^.78 lei 6-8 săpt.
Springer Us – 28 feb 1999	1287^.78 lei 6-8 săpt.

Din seria IFIP Advances in Information and Communication Technology

20%

Preț: 170^.51 lei
20%

Preț: 615^.74 lei
20%

Preț: 340^.32 lei
Preț: 397^.38 lei
20%

Preț: 336^.02 lei
20%

Preț: 340^.98 lei
20%

Preț: 503^.41 lei
17%

Preț: 523^.40 lei
20%

Preț: 502^.06 lei
17%

Preț: 488^.96 lei
20%

Preț: 501^.04 lei
20%

Preț: 403^.20 lei
15%

Preț: 708^.83 lei
20%

Preț: 1162^.12 lei
20%

Preț: 1288^.25 lei
18%

Preț: 1227^.21 lei
20%

Preț: 1282^.00 lei
18%

Preț: 1224^.18 lei
18%

Preț: 953^.03 lei
18%

Preț: 953^.20 lei
18%

Preț: 944^.99 lei
18%

Preț: 948^.29 lei
15%

Preț: 645^.47 lei
18%

Preț: 960^.13 lei
20%

Preț: 1288^.11 lei
20%

Preț: 998^.70 lei
18%

Preț: 949^.23 lei
20%

Preț: 1283^.81 lei
20%

Preț: 995^.89 lei
15%

Preț: 645^.79 lei
20%

Preț: 1276^.74 lei
20%

Preț: 1922^.99 lei
20%

Preț: 1285^.97 lei
18%

Preț: 956^.69 lei
18%

Preț: 946^.72 lei
18%

Preț: 1224^.36 lei
20%

Preț: 1277^.89 lei
18%

Preț: 953^.03 lei
18%

Preț: 947^.98 lei
20%

Preț: 1292^.54 lei
18%

Preț: 956^.18 lei
20%

Preț: 645^.79 lei
18%

Preț: 1235^.25 lei
20%

Preț: 1284^.47 lei
18%

Preț: 1231^.01 lei
20%

Preț: 993^.09 lei
20%

Preț: 1288^.94 lei
20%

Preț: 987^.17 lei
18%

Preț: 1833^.33 lei

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.