| 3rd International Conference on Formal Methods for Open Object-based Distributed Systems (fmoods) : February 15-18, 1999, Florence, Italy / 6.1： |
| Preface |
| Languages / Part 1： |
| Piccola - A Small Compositional Language / O. Nierstrasz |
| An Algebra of Actors / M. Gaspari ; G. Zavattaro |
| Developing Object-Based Distributed Systems / M. Bonsangue, et al. |
| Semantics I. Reasoning About Histories in Object-Based Distributed Systems / F.S. de BoerPart 2： |
| Mobile Nets / N. Busi |
| Observation Equivalences for the Semantics of Inheritance / C. Balzarotti, et al. |
| Java and Coordination / Part 3： |
| 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 |
| Object Composition and Reuse / Part 4： |
| 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 |
| Telecommunications / Part 5： |
| 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 |
| Formal Methods / Part 6： |
| 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. |
| Emerging Standards / Part 7： |
| 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. |
| Semantics II. Foundations for Wide-Area Systems / L. CardelliPart 8： |
| 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 |
| Semantics III. Distributed and Concurrent Objects Based on Linear Logic / N. Kobayashi ; A. YonezawaPart 9： |
| 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 |
| 3rd International Conference on Formal Methods for Open Object-based Distributed Systems (fmoods) : February 15-18, 1999, Florence, Italy / 6.1： |
| Preface |
| Languages / Part 1： |
図書
