skip to content
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 Preview this item
ClosePreview this item
Checking...

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

Author: Paolo Ciancarini; Alessandro Fantechi; Roberto Gorrieri; International Federation for Information Processing. Technical Committee 6.
Publisher: Bostons : Kluwer Academic, ©1999.
Series: International Federation for Information Processing (Series), 10.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

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  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Paolo Ciancarini; Alessandro Fantechi; Roberto Gorrieri; International Federation for Information Processing. Technical Committee 6.
ISBN: 0792384296 9780792384298
OCLC Number: 40359447
Description: xii, 436 pages ; 24 cm.
Contents: 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.
Series Title: International Federation for Information Processing (Series), 10.
Responsibility: edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/40359447> # 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
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "40359447" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/23662023#Place/bostons> ; # Bostons
   schema:about <http://experiment.worldcat.org/entity/work/data/23662023#Topic/object_georienteerd_programmeren> ; # Object-georiënteerd programmeren
   schema:about <http://dewey.info/class/005.117/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/23662023#Topic/osi> ; # OSI
   schema:about <http://id.worldcat.org/fast/1042804> ; # Object-oriented programming (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/23662023#Topic/formele_talen> ; # Formele talen
   schema:about <http://experiment.worldcat.org/entity/work/data/23662023#Topic/electronic_data_processing_distributed_processing> ; # Electronic data processing--Distributed processing
   schema:about <http://experiment.worldcat.org/entity/work/data/23662023#Topic/gedistribueerde_gegevensverwerking> ; # Gedistribueerde gegevensverwerking
   schema:about <http://id.worldcat.org/fast/906987> ; # Electronic data processing--Distributed processing
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/54392393> ; # Roberto Gorrieri
   schema:contributor <http://viaf.org/viaf/55934579> ; # Alessandro Fantechi
   schema:contributor <http://viaf.org/viaf/130178836> ; # International Federation for Information Processing. Technical Committee 6.
   schema:contributor <http://viaf.org/viaf/85639274> ; # Paolo Ciancarini
   schema:copyrightYear "1999" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/23662023#Meeting/international_conference_on_formal_methods_for_open_object_based_distributed_systems_3rd_1999_florence_italy> ; # International Conference on Formal Methods for Open Object-Based Distributed Systems (3rd : 1999 : Florence, Italy)
   schema:datePublished "1999" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/23662023> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/23662023#Series/international_federation_for_information_processing> ; # International Federation for Information Processing ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/23662023#Series/international_federation_for_information_processing_series> ; # International Federation for Information Processing (Series) ;
   schema:name "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"@en ;
   schema:productID "40359447" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/40359447#PublicationEvent/bostons_kluwer_academic_1999> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/23662023#Agent/kluwer_academic> ; # Kluwer Academic
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0820/98051608-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9780792384298> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9923364> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/40359447> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/23662023#Agent/kluwer_academic> # Kluwer Academic
    a bgn:Agent ;
   schema:name "Kluwer Academic" ;
    .

<http://experiment.worldcat.org/entity/work/data/23662023#Meeting/international_conference_on_formal_methods_for_open_object_based_distributed_systems_3rd_1999_florence_italy> # International Conference on Formal Methods for Open Object-Based Distributed Systems (3rd : 1999 : Florence, Italy)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/23662023#Place/florence_italy> ; # Florence, Italy)
   schema:name "International Conference on Formal Methods for Open Object-Based Distributed Systems (3rd : 1999 : Florence, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/23662023#Place/florence_italy> # Florence, Italy)
    a schema:Place ;
   schema:name "Florence, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/23662023#Series/international_federation_for_information_processing> # International Federation for Information Processing ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/40359447> ; # 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
   schema:name "International Federation for Information Processing ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/23662023#Series/international_federation_for_information_processing_series> # International Federation for Information Processing (Series) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/40359447> ; # 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
   schema:name "International Federation for Information Processing (Series) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/23662023#Topic/electronic_data_processing_distributed_processing> # Electronic data processing--Distributed processing
    a schema:Intangible ;
   rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2008102927> ;
   schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/23662023#Topic/gedistribueerde_gegevensverwerking> # Gedistribueerde gegevensverwerking
    a schema:Intangible ;
   schema:name "Gedistribueerde gegevensverwerking"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/23662023#Topic/object_georienteerd_programmeren> # Object-georiënteerd programmeren
    a schema:Intangible ;
   schema:name "Object-georiënteerd programmeren"@en ;
    .

<http://id.worldcat.org/fast/1042804> # Object-oriented programming (Computer science)
    a schema:Intangible ;
   schema:name "Object-oriented programming (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/906987> # Electronic data processing--Distributed processing
    a schema:Intangible ;
   schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://viaf.org/viaf/130178836> # International Federation for Information Processing. Technical Committee 6.
    a schema:Organization ;
   schema:name "International Federation for Information Processing. Technical Committee 6." ;
    .

<http://viaf.org/viaf/54392393> # Roberto Gorrieri
    a schema:Person ;
   schema:familyName "Gorrieri" ;
   schema:givenName "Roberto" ;
   schema:name "Roberto Gorrieri" ;
    .

<http://viaf.org/viaf/55934579> # Alessandro Fantechi
    a schema:Person ;
   schema:familyName "Fantechi" ;
   schema:givenName "Alessandro" ;
   schema:name "Alessandro Fantechi" ;
    .

<http://viaf.org/viaf/85639274> # Paolo Ciancarini
    a schema:Person ;
   schema:birthDate "1959" ;
   schema:familyName "Ciancarini" ;
   schema:givenName "Paolo" ;
   schema:name "Paolo Ciancarini" ;
    .

<http://worldcat.org/isbn/9780792384298>
    a schema:ProductModel ;
   schema:isbn "0792384296" ;
   schema:isbn "9780792384298" ;
    .

<http://www.worldcat.org/title/-/oclc/40359447>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/40359447> ; # 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
   schema:dateModified "2018-03-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.