skip to content
Teaching formal methods : second international conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings Preview this item
ClosePreview this item
Checking...

Teaching formal methods : second international conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings

Author: Jeremy Gibbons; José N Oliveira
Publisher: Berlin : Springer, ©2009.
Series: Lecture notes in computer science, 5846.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME)  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: Eindhoven (2009)
Kongress
Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Jeremy Gibbons; José N Oliveira
ISBN: 9783642049118 3642049117 9783642049125 3642049125
OCLC Number: 449850894
Description: vii, 175 pages : illustrations ; 24 cm.
Contents: Abstraction and Modelling: A Complementary Partnership.- Teaching Formal Methods for the Unconquered Territory.- Teaching Formal Methods Based on Rewriting Logic and Maude.- Which Mathematics for the Information Society?.- What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project.- Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z.- Teaching Program Specification and Verification Using JML and ESC/Java2.- How to Explain Mistakes.- Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.- On Teaching Formal Methods: Behavior Models and Code Analysis.- Teaching Concurrency: Theory in Practice.
Series Title: Lecture notes in computer science, 5846.
Responsibility: Jeremy Gibbons. José Nuno Oliveira, (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/449850894> # Teaching formal methods : second international conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "449850894" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/908746845#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/908746845#Topic/formale_methode> ; # Formale Methode
    schema:about <http://dewey.info/class/004na/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/908746845#Topic/informatikstudium> ; # Informatikstudium
    schema:about <http://experiment.worldcat.org/entity/work/data/908746845#Topic/softwareentwicklung> ; # Softwareentwicklung
    schema:about <http://experiment.worldcat.org/entity/work/data/908746845#Topic/formal_methods_computer_science_study_and_teaching> ; # Formal methods (Computer science)--Study and teaching
    schema:about <http://experiment.worldcat.org/entity/work/data/908746845#Topic/computer_software_development_study_and_teaching> ; # Computer software--Development--Study and teaching
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/47014379> ; # José N. Oliveira
    schema:contributor <http://viaf.org/viaf/85204540> ; # Jeremy Gibbons
    schema:copyrightYear "2009" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/908746845#Meeting/tfm_2009_2009_eindhoven_netherlands> ; # TFM 2009 (2009 : Eindhoven, Netherlands)
    schema:datePublished "2009" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/908746845> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongress"@en ;
    schema:genre "Eindhoven (2009)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/908746845#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Teaching formal methods : second international conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings"@en ;
    schema:productID "449850894" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/449850894#PublicationEvent/berlin_springer_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/908746845#Agent/springer> ; # Springer
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=018676933&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://d-nb.info/996813500/04> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-04912-5> ;
    schema:workExample <http://worldcat.org/isbn/9783642049118> ;
    schema:workExample <http://worldcat.org/isbn/9783642049125> ;
    umbel:isLike <http://d-nb.info/996813500> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/449850894> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/908746845#Meeting/tfm_2009_2009_eindhoven_netherlands> # TFM 2009 (2009 : Eindhoven, Netherlands)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/908746845#Place/eindhoven_netherlands> ; # Eindhoven, Netherlands)
    schema:name "TFM 2009 (2009 : Eindhoven, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/908746845#Place/eindhoven_netherlands> # Eindhoven, Netherlands)
    a schema:Place ;
    schema:name "Eindhoven, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/908746845#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/449850894> ; # Teaching formal methods : second international conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/908746845#Topic/computer_software_development_study_and_teaching> # Computer software--Development--Study and teaching
    a schema:Intangible ;
    schema:hasPart <http://id.loc.gov/authorities/subjects/sh85029535> ;
    schema:name "Computer software--Development--Study and teaching"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/908746845#Topic/formal_methods_computer_science_study_and_teaching> # Formal methods (Computer science)--Study and teaching
    a schema:Intangible ;
    schema:hasPart <http://id.loc.gov/authorities/subjects/sh99003622> ;
    schema:name "Formal methods (Computer science)--Study and teaching"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/908746845#Topic/informatikstudium> # Informatikstudium
    a schema:Intangible ;
    schema:name "Informatikstudium"@en ;
    .

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

<http://viaf.org/viaf/47014379> # José N. Oliveira
    a schema:Person ;
    schema:familyName "Oliveira" ;
    schema:givenName "José N." ;
    schema:name "José N. Oliveira" ;
    .

<http://viaf.org/viaf/85204540> # Jeremy Gibbons
    a schema:Person ;
    schema:birthDate "1966" ;
    schema:familyName "Gibbons" ;
    schema:givenName "Jeremy" ;
    schema:name "Jeremy Gibbons" ;
    .

<http://worldcat.org/isbn/9783642049118>
    a schema:ProductModel ;
    schema:isbn "3642049117" ;
    schema:isbn "9783642049118" ;
    .

<http://worldcat.org/isbn/9783642049125>
    a schema:ProductModel ;
    schema:isbn "3642049125" ;
    schema:isbn "9783642049125" ;
    .

<http://www.worldcat.org/title/-/oclc/449850894>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/449850894> ; # Teaching formal methods : second international conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings
    schema:dateModified "2018-05-13" ;
    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.