skip to content
Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures Preview this item
ClosePreview this item
Checking...

Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures

Author: Frank S de Boer
Publisher: Berlin ; New York : Springer, ©2005.
Series: Lecture notes in computer science, 3657.; Lecture notes in computer science., Tutorial.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and  Read more...

Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Kongress
Conference papers and proceedings
Leiden (2004)
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Frank S de Boer
ISBN: 3540291318 9783540291312 9783540319399 3540319395
OCLC Number: 61766573
Description: viii, 323 pages : illustrations ; 24 cm.
Contents: A Theory of Predicate-Complete Test Coverage and Generation.- A Perspective on Component Refinement.- A Fully Abstract Semantics for UML Components.- From (Meta) Objects to Aspects: A Java and AspectJ Point of View.- MoMo: A Modal Logic for Reasoning About Mobility.- Probabilistic Linda-Based Coordination Languages.- Games with Secure Equilibria,.- Priced Timed Automata: Algorithms and Applications.- rCOS: Refinement of Component and Object Systems.- Program Generation and Components.- Assertion-Based Encapsulation, Object Invariants and Simulations.- A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects.- Observability, Connectivity, and Replay in a Sequential Calculus of Classes.- Timing Analysis and Timing Predictability.
Series Title: Lecture notes in computer science, 3657.; Lecture notes in computer science., Tutorial.
Other Titles: FMCO 2004
Responsibility: Frank S. de Boer [and others] (eds.).
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/61766573> # Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "61766573" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/861449395#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/861449395#Topic/methode_formelle> ; # Méthode formelle
    schema:about <http://experiment.worldcat.org/entity/work/data/861449395#Topic/formale_methode> ; # Formale Methode
    schema:about <http://experiment.worldcat.org/entity/work/data/861449395#Topic/approche_orientee_objet> ; # Approche orientée objet
    schema:about <http://experiment.worldcat.org/entity/work/data/861449395#Topic/komponente> ; # Komponente
    schema:about <http://experiment.worldcat.org/entity/work/data/861449395#Topic/formale_spezifikationstechnik> ; # Formale Spezifikationstechnik
    schema:about <http://id.loc.gov/authorities/subjects/sh98001790> ; # Component software
    schema:about <http://experiment.worldcat.org/entity/work/data/861449395#Topic/methodes_formelles_informatique> ; # Méthodes formelles (Informatique)
    schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung> ; # Softwareentwicklung
    schema:about <http://experiment.worldcat.org/entity/work/data/861449395#Topic/composant_logiciel> ; # Composant logiciel
    schema:about <http://experiment.worldcat.org/entity/work/data/861449395#Topic/objektorientierung> ; # Objektorientierung
    schema:about <http://id.worldcat.org/fast/871617> ; # Component software
    schema:about <http://dewey.info/class/005.131/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/861449395#Topic/composants_logiciels> ; # Composants logiciels
    schema:about <http://id.worldcat.org/fast/1042804> ; # Object-oriented programming (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/861449395#Topic/approche_orientee_objet_informatique> ; # Approche orientée objet (Informatique)
    schema:alternateName "FMCO 2004" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/74904406> ; # Frank S de Boer
    schema:copyrightYear "2005" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_3rd_2004_leiden_netherlands> ; # FMCO (Symposium) (3rd : 2004 : Leiden, Netherlands)
    schema:datePublished "2005" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/861449395> ;
    schema:genre "Leiden (2004)"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Kongress"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/861449395#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science, Tutorial
    schema:name "Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures"@en ;
    schema:productID "61766573" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/61766573#PublicationEvent/berlin_new_york_springer_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/861449395#Agent/springer> ; # Springer
    schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t3657.htm> ;
    schema:url <http://dx.doi.org/10.1007/11561163> ;
    schema:url <http://swbplus.bsz-bw.de/bsz120599228cov.htm> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014169357&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=014169357&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy1401/2005932547-t.html> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3657> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3657> ;
    schema:workExample <http://worldcat.org/isbn/9783540319399> ;
    schema:workExample <http://worldcat.org/isbn/9783540291312> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/61766573> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_3rd_2004_leiden_netherlands> # FMCO (Symposium) (3rd : 2004 : Leiden, Netherlands)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/861449395#Place/leiden_netherlands> ; # Leiden, Netherlands)
    schema:name "FMCO (Symposium) (3rd : 2004 : Leiden, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/861449395#Place/leiden_netherlands> # Leiden, Netherlands)
    a schema:Place ;
    schema:name "Leiden, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/861449395#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/61766573> ; # Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/861449395#Topic/approche_orientee_objet> # Approche orientée objet
    a schema:Intangible ;
    schema:name "Approche orientée objet"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/861449395#Topic/approche_orientee_objet_informatique> # Approche orientée objet (Informatique)
    a schema:Intangible ;
    schema:name "Approche orientée objet (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/861449395#Topic/composant_logiciel> # Composant logiciel
    a schema:Intangible ;
    schema:name "Composant logiciel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/861449395#Topic/composants_logiciels> # Composants logiciels
    a schema:Intangible ;
    schema:name "Composants logiciels"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/861449395#Topic/formale_spezifikationstechnik> # Formale Spezifikationstechnik
    a schema:Intangible ;
    schema:name "Formale Spezifikationstechnik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/861449395#Topic/methode_formelle> # Méthode formelle
    a schema:Intangible ;
    schema:name "Méthode formelle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/861449395#Topic/methodes_formelles_informatique> # Méthodes formelles (Informatique)
    a schema:Intangible ;
    schema:name "Méthodes formelles (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/861449395#Topic/objektorientierung> # Objektorientierung
    a schema:Intangible ;
    schema:name "Objektorientierung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/861449395#Topic/softwareentwicklung> # Softwareentwicklung
    a schema:Intangible ;
    schema:name "Softwareentwicklung"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh98001790> # Component software
    a schema:Intangible ;
    schema:name "Component software"@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/871617> # Component software
    a schema:Intangible ;
    schema:name "Component software"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://viaf.org/viaf/74904406> # Frank S de Boer
    a schema:Person ;
    schema:familyName "Boer" ;
    schema:givenName "Frank S. de" ;
    schema:name "Frank S de Boer" ;
    .

<http://worldcat.org/isbn/9783540291312>
    a schema:ProductModel ;
    schema:isbn "3540291318" ;
    schema:isbn "9783540291312" ;
    .

<http://worldcat.org/isbn/9783540319399>
    a schema:ProductModel ;
    schema:isbn "3540319395" ;
    schema:isbn "9783540319399" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science, Tutorial
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/61766573> ; # Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science, Tutorial" ;
    .

<http://www.worldcat.org/title/-/oclc/61766573>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/61766573> ; # Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures
    schema:dateModified "2018-09-18" ;
    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.