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: |
Piccola - A Small Compositional Language / O. Nierstrasz |
An Algebra of Actors / M. Gaspari ; G. Zavattaro |
Developing Object-Based Distributed Systems / M. Bonsangue, et al. |