Research Catalog

Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy

Title
Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy / edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri.
Author
International Conference on Formal Methods for Open Object-Based Distributed Systems (3rd : 1999 : Florence, Italy)
Publication
Bostons : Kluwer Academic, [1999], ©1999.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.D5 I573 1999Off-site

Holdings

Details

Additional Authors
  • Ciancarini, Paolo, 1959-
  • Fantechi, Alessandro.
  • Gorrieri, Roberto.
  • International Federation for Information Processing. Technical Committee 6.
Description
xii, 436 pages; 24 cm.
Summary
  • "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."--BOOK JACKET.
  • "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."--BOOK JACKET.
Series Statement
International Federation for Information Processing ; 10
Uniform Title
International Federation for Information Processing (Series) ; 10.
Subject
  • Electronic data processing > Distributed processing > Congresses
  • Object-oriented programming (Computer science) > Congresses
Bibliography (note)
  • Includes bibliographical references.
Contents
  • Piccola - A Small Compositional Language / Oscar Nierstrasz -- An Algebra of Actors / M. Gaspari and G. Zavattaro -- Developing Object-based Distributed Systems / M. Bonsangue, J. N. Kok and K. Sere -- 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, F. De Cindio and L. Pomello -- Tools for Integrating Formal Methods into the Java Software Development Process / Sriram Sankar -- Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA / K. Drira, F. Gouezec and M. Diaz -- Specifying component-based Java applications / S. Cimato -- Object Composition: A Case Study / D. Ramazani and G. v. Bochmann -- Specifying Reusable Controllers for Software Components / J. M. Troya and A. Vallecillo --
  • Composition and Interaction for Behavioural Specifications / S. Veglioni and F. Parisi-Presicce -- Formal specification of discrete systems by active predicates and dynamic constraints / T. Bolognesi and A. Bracciali -- Distributed Feature Composition: An Architecture for Telecommunication Services / Pamela Zave -- Pattern Application vs. Inheritance in SDL / B. Geppert, F. Roessler and R. Gotzhein -- Engineering Telecommunication Services With SDL / R. Sinnott and M. Kolberg -- SDL in Rigorous Object-Oriented Analysis / R. G. Clark and Ana M. D. Moreira -- A Junction between State Based and Behavioural Specification / H. Bowman and J. Derrick -- Protocol Assuring Universal Language / R. van Rein and 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 and D. Thissen --
  • Combining Design Methods for Service Development / M. Born, A. Hoffmann and Mang Li [et al.] -- LSCs: Breathing Life into Message Sequence Charts / W. Damm and D. Harel -- Modular Reasoning for Actor Specification Diagrams / Scott F. Smith and Carolyn L. Talcott -- Towards a Formal Operational Semantics of UML Statechart Diagrams / D. Latella, I. Majzik and M. Massink -- Foundations for Wide-Area Systems / Luca Cardelli -- Calculi for Concurrent Objects / Cosimo Laneve -- Infinite types for distributed object interfaces / E. Najm, A. Nimour and J. B. Stefani -- Static safety analysis for non-uniform service availability in Actors / J. L. Colaco, M. Pantel and F. Dagnat [et al.] -- A Logic for the Specification of Multi-Object Systems / J. Broersen and R. Wieringa -- Distributed and concurrent objects based on linear logic / Naoki Kobayashi and Akinori Yonezawa -- Composition in Multiparadigm Specification Techniques / L. Blair and G. Blair --
  • Formal Development of Object-Based Systems in a Temporal Logic Setting / E. Canver and F. W. von Henke.
ISBN
0792384296 (alk. paper)
LCCN
98051608
OCLC
ocm40359447
Owning Institutions
Columbia University Libraries