skip to content
Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings Preview this item
ClosePreview this item
Checking...

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

Author: K -K Lau; Richard Banach
Publisher: Berlin ; New York : Springer, ©2005.
Series: Lecture notes in computer science, 3785.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005. These papers address issues in formal  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: Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: K -K Lau; Richard Banach
ISBN: 3540297979 9783540297970
OCLC Number: 62229950
Description: xiv, 496 pages : illustrations ; 24 cm.
Contents: Invited Talks.- Realising the Benefits of Formal Methods.- A Compositional Framework for Service Interaction Patterns and Interaction Flows.- An Evidential Tool Bus.- Specification.- Derivation of UML Class Diagrams as Static Views of Formal B Developments.- 29 New Unclarities in the Semantics of UML 2.0 State Machines.- The Semantics and Tool Support of OZTA.- Modelling.- An Abstract Model for Process Mediation.- How Symbolic Animation Can Help Designing an Efficient Formal Model.- Security.- A Theory of Secure Control Flow.- Game Semantics Model for Security Protocols.- Communication.- Towards Dynamically Communicating Abstract Machines in the B Method.- Sweep-Line Analysis of TCP Connection Management.- 2/3 Alternating Simulation Between Interface Automata.- Development.- Formal Model-Driven Development of Communicating Systems.- Jahuel: A Formal Framework for Software Synthesis.- Modelling and Refinement of an On-Chip Communication Architecture.- Testing.- Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics.- Adaptive Random Testing by Bisection with Restriction.- Testing Real-Time Multi Input-Output Systems.- Verification.- Formal Verification of a Memory Model for C-Like Imperative Languages.- Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations.- An Improved Rule for While Loops in Deductive Program Verification.- Using Stalmarck's Algorithm to Prove Inequalities.- Automatic Refinement Checking for B.- Slicing an Integrated Formal Method for Verification.- A Static Communication Elimination Algorithm for Distributed System Verification.- Incremental Verification of Owicki/Gries Proof Outlines Using PVS.- Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry.- Tools.- An Automated Approach to Specification-Based Program Inspection.- Visualizing and Simulating Semantic Web Services Ontologies.- A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing.- ClawZ: Cost-Effective Formal Verification for Control Systems.- SVG Web Environment for Z Specification Language.
Series Title: Lecture notes in computer science, 3785.
Other Titles: 7th International Conference on Formal Engineering Methods
International Conference on Formal Engineering Methods
ICFEM 2005
Responsibility: Kung-Kiu Lau, Richard Banach (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/62229950> # Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "62229950" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/6684939#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/6684939#Thing/formal_engineering_methods> ; # Formal engineering methods
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/6684939#Topic/software_engineering> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/6684939#Topic/methodes_formelles_informatique> ; # Méthodes formelles (Informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/6684939#Thing/software_engineering> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/6684939#Thing/icfem> ; # ICFEM
   schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
   schema:about <http://dewey.info/class/005.131/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/6684939#Topic/genie_logiciel> ; # Génie logiciel
   schema:alternateName "International Conference on Formal Engineering Methods" ;
   schema:alternateName "7th International Conference on Formal Engineering Methods" ;
   schema:alternateName "ICFEM 2005" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/85558495> ; # Kung-Kiu Lau
   schema:contributor <http://experiment.worldcat.org/entity/work/data/6684939#Person/banach_richard> ; # Richard Banach
   schema:copyrightYear "2005" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/6684939#Meeting/international_conference_on_formal_engineering_methods_7th_2005_manchester_england> ; # International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England)
   schema:datePublished "2005" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/6684939> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:name "Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings"@en ;
   schema:productID "62229950" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/62229950#PublicationEvent/berlin_new_york_springer_2005> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/6684939#Agent/springer> ; # Springer
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc%5Flibrary=BVB01&doc%5Fnumber=014195196&line%5Fnumber=0001&func%5Fcode=DB%5FRECORDS&service%5Ftype=MEDIA> ;
   schema:url <http://swbplus.bsz-bw.de/bsz121341569cov.htm> ;
   schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t3785.htm> ;
   schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3785> ;
   schema:url <http://dx.doi.org/10.1007/11576280> ;
   schema:url <http://mutex.gmu.edu/login?url=http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3785> ;
   schema:url <http://swbplus.bsz-bw.de/bsz121341569vlg.htm> ;
   schema:url <http://catdir.loc.gov/catdir/toc/fy0608/2005934587.html> ;
   schema:workExample <http://worldcat.org/isbn/9783540297970> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA600388> ;
   umbel:isLike <http://d-nb.info/976632691> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/62229950> ;
    .


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/6684939#Meeting/international_conference_on_formal_engineering_methods_7th_2005_manchester_england> # International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/6684939#Place/manchester_england> ; # Manchester, England)
   schema:name "International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/6684939#Person/banach_richard> # Richard Banach
    a schema:Person ;
   schema:familyName "Banach" ;
   schema:givenName "Richard" ;
   schema:name "Richard Banach" ;
    .

<http://experiment.worldcat.org/entity/work/data/6684939#Place/manchester_england> # Manchester, England)
    a schema:Place ;
   schema:name "Manchester, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/6684939#Thing/formal_engineering_methods> # Formal engineering methods
    a schema:Thing ;
   schema:name "Formal engineering methods" ;
    .

<http://experiment.worldcat.org/entity/work/data/6684939#Thing/software_engineering> # Software engineering
    a schema:Thing ;
   schema:name "Software engineering" ;
    .

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

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@en ;
    .

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

<http://mutex.gmu.edu/login?url=http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3785>
   rdfs:comment "Electronic resource available to Mason students, faculty, staff, and onsite patrons." ;
    .

<http://viaf.org/viaf/85558495> # Kung-Kiu Lau
    a schema:Person ;
   schema:birthDate "1953" ;
   schema:familyName "Lau" ;
   schema:givenName "Kung-Kiu" ;
   schema:givenName "K.-K" ;
   schema:name "Kung-Kiu Lau" ;
    .

<http://worldcat.org/isbn/9783540297970>
    a schema:ProductModel ;
   schema:isbn "3540297979" ;
   schema:isbn "9783540297970" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/62229950> ; # Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/62229950>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/62229950> ; # Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
   schema:dateModified "2017-09-03" ;
   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.