skip to content
Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures Preview this item
ClosePreview this item
Checking...

Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures

Author: Frank S de Boer
Publisher: Berlin ; New York : Springer, ©2007.
Series: Lecture notes in computer science, 4709.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents  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: Electronic books
Conference papers and proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Frank S de Boer
ISBN: 9783540747918 3540747915 3540747923 9783540747925
OCLC Number: 192020393
Notes: Title from title screen (viewed Feb. 14, 2008).
Description: 1 online resource (viii, 296 pages).
Contents: Testing.- Model-Based Testing of Environmental Conformance of Components.- Exhaustive Testing of Exception Handlers with Enforcer.- Model-Based Test Selection for Infinite-State Reactive Systems.- Program Verification.- Verifying Object-Oriented Programs with KeY: A Tutorial.- Rebeca: Theory, Applications, and Tools.- Learning Meets Verification.- Trust and Security.- JACK - A Tool for Validation of Security and Behaviour of Java Applications.- Towards a Formal Framework for Computational Trust.- Models of Computation.- On Recursion, Replication and Scope Mechanisms in Process Calculi.- Bounded Session Types for Object Oriented Languages.- Distributed Programming.- Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring.- Links: Web Programming Without Tiers.
Series Title: Lecture notes in computer science, 4709.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: FMCO 2006
Responsibility: Frank S. de Boer [and others] (eds.).

Abstract:

This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands in November  Read more...

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/192020393> # Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "192020393" ;
   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://dewey.info/class/004/e22/> ;
   schema:about <http://id.worldcat.org/fast/1042804> ; # Object-oriented programming (Computer science)
   schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
   schema:alternateName "FMCO 2006" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/74904406> ; # Frank S de Boer
   schema:copyrightYear "2007" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/861449395#Meeting/fmco_symposium_5th_2006_amsterdam_netherlands> ; # FMCO (Symposium) (5th : 2006 : Amsterdam, Netherlands)
   schema:datePublished "2007" ;
   schema:description "Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands, in November 2006. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems. The papers are organized in topical sections on component and service oriented computing, system design, tools, algebraic methods, model checking, assertional methods, and quantitative analysis."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/861449395> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/861449395#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/861449395#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:name "Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures"@en ;
   schema:productID "192020393" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/192020393#PublicationEvent/berlin_new_york_springer_2007> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/861449395#Agent/springer> ; # Springer
   schema:url <http://site.ebrary.com/id/10223212> ;
   schema:url <http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4709> ;
   schema:url <http://dx.doi.org/10.1007/978-3-540-74792-5> ;
   schema:workExample <http://worldcat.org/isbn/9783540747925> ;
   schema:workExample <http://worldcat.org/isbn/9783540747918> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/192020393> ;
    .


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_5th_2006_amsterdam_netherlands> # FMCO (Symposium) (5th : 2006 : Amsterdam, Netherlands)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/861449395#Place/amsterdam_netherlands> ; # Amsterdam, Netherlands)
   schema:name "FMCO (Symposium) (5th : 2006 : Amsterdam, Netherlands)" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/861449395#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/192020393> ; # Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/861449395#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/192020393> ; # Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures
   schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<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/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/9783540747918>
    a schema:ProductModel ;
   schema:isbn "3540747915" ;
   schema:isbn "9783540747918" ;
    .

<http://worldcat.org/isbn/9783540747925>
    a schema:ProductModel ;
   schema:isbn "3540747923" ;
   schema:isbn "9783540747925" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/192020393> ; # Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/192020393>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/192020393> ; # Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures
   schema:dateModified "2017-12-24" ;
   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.