The Resource FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings, John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings, John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)
Resource Information
The item FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings, John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings, John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Summary
- "This volume contains the proceedings of Formal Methods 2005, the 13th International Symposium on Formal Methods held in Newcastle upon Tyne, UK, during July 18-22, 2005."
- Language
- eng
- Extent
- 1 online resource (xiv, 558 pages)
- Note
- "13th International Symposium of Formal Methods Europe"--Preface
- Contents
-
- Keynote Talks
- Formal Aids for the Growth of Software Systems
- Formal Methods and Testing: Hypotheses, and Correctness Approximations
- The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions
- Object Orientation
- Modular Verification of Static Class Invariants
- Decoupling in Object Orientation
- Controlling Object Allocation Using Creation Guards
- Symbolic Animation of JML Specifications
- Resource Analysis and Verification
- Certified Memory Usage Analysis
- Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs
- Formally Defining and Verifying Master/Slave Speculative Parallelization
- Timing and Testing
- Systematic Implementation of Real-Time Models
- Timing Tolerances in Safety-Critical Software
- Timed Testing with TorX
- Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems
- CSP, B and Circus
- Adding Conflict and Confusion to CSP
- Combining CSP and B for Specification and Property Verification
- Operational Semantics for Model Checking Circus
- Control Law Diagrams in Circus
- Security
- Verification of a Signature Architecture with HOL-Z
- End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
- Formal Verification of Security Properties of Smart Card Embedded Source Code
- Networks and Processes
- A Formal Model of Addressing for Interoperating Networks
- An Approach to Unfolding Asynchronous Communication Protocols
- Semantics of BPEL4WS-Like Fault and Compensation Handling
- Abstraction, Retrenchment and Rewriting
- On Some Galois Connection Based Abstractions for the Mu-Calculus
- Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern
- Strategic Term Rewriting and Its Application to a Vdm-sl to Sql Conversion
- Scenarios and Modeling Languages
- Synthesis of Distributed Processes from Scenario-Based Specifications
- Verifying Scenario-Based Aspect Specifications
- An MDA Approach Towards Integrating Formal and Informal Modeling Languages
- Model Checking
- Model-Checking of Specifications Integrating Processes, Data and Time
- Automatic Symmetry Detection for Model Checking Using Computational Group Theory
- On Partitioning and Symbolic Model Checking
- Dynamic Component Substitutability Analysis
- Industry Day: Abstracts of Invited Talks
- Floating-Point Verification
- Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications
- Model-Based Testing in Practice
- Testing Concurrent Object-Oriented Systems with Spec Explorer
- ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software
- The Informal Nature of Systems Engineering
- Isbn
- 9783540317142
- Label
- FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
- Title
- FM 2005
- Title remainder
- formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
- Statement of responsibility
- John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)
- Title variation
-
- Formal methods 2005
- International Symposium of Formal Methods Europe
- FME
- Formal methods Europe
- Subject
-
- Computer software -- Development
- Computer software -- Development -- Congresses
- Conception de systèmes
- Conference papers and proceedings
- Conference papers and proceedings
- Développement de logiciels
- Formal methods (Computer science)
- Formal methods (Computer science)
- Formal methods (Computer science) -- Congresses
- Informatique
- Méthode formelle
- System design
- System design
- System design -- Congresses
- Computer software -- Development
- Language
- eng
- Summary
- "This volume contains the proceedings of Formal Methods 2005, the 13th International Symposium on Formal Methods held in Newcastle upon Tyne, UK, during July 18-22, 2005."
- Cataloging source
- GW5XE
- Dewey number
- 004.13/1
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.76.D47
- LC item number
- I593 2005
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2005
- http://bibfra.me/vocab/lite/meetingName
- International Symposium of Formal Methods Europe
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
- 1965-
- http://library.link/vocab/relatedWorkOrContributorName
-
- Fitzgerald, John
- Hayes, Ian
- Tarlecki, Andrzej
- Series statement
- Lecture notes in computer science,
- Series volume
- 3582
- http://library.link/vocab/subjectName
-
- Computer software
- Formal methods (Computer science)
- System design
- Informatique
- Computer software
- Formal methods (Computer science)
- System design
- Méthode formelle
- Développement de logiciels
- Conception de systèmes
- Label
- FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings, John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)
- Note
- "13th International Symposium of Formal Methods Europe"--Preface
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing: Hypotheses, and Correctness Approximations -- The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions -- Object Orientation -- Modular Verification of Static Class Invariants -- Decoupling in Object Orientation -- Controlling Object Allocation Using Creation Guards -- Symbolic Animation of JML Specifications -- Resource Analysis and Verification -- Certified Memory Usage Analysis -- Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs -- Formally Defining and Verifying Master/Slave Speculative Parallelization -- Timing and Testing -- Systematic Implementation of Real-Time Models -- Timing Tolerances in Safety-Critical Software -- Timed Testing with TorX -- Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems -- CSP, B and Circus -- Adding Conflict and Confusion to CSP -- Combining CSP and B for Specification and Property Verification -- Operational Semantics for Model Checking Circus -- Control Law Diagrams in Circus -- Security -- Verification of a Signature Architecture with HOL-Z -- End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform -- Formal Verification of Security Properties of Smart Card Embedded Source Code -- Networks and Processes -- A Formal Model of Addressing for Interoperating Networks -- An Approach to Unfolding Asynchronous Communication Protocols -- Semantics of BPEL4WS-Like Fault and Compensation Handling -- Abstraction, Retrenchment and Rewriting -- On Some Galois Connection Based Abstractions for the Mu-Calculus -- Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern -- Strategic Term Rewriting and Its Application to a Vdm-sl to Sql Conversion -- Scenarios and Modeling Languages -- Synthesis of Distributed Processes from Scenario-Based Specifications -- Verifying Scenario-Based Aspect Specifications -- An MDA Approach Towards Integrating Formal and Informal Modeling Languages -- Model Checking -- Model-Checking of Specifications Integrating Processes, Data and Time -- Automatic Symmetry Detection for Model Checking Using Computational Group Theory -- On Partitioning and Symbolic Model Checking -- Dynamic Component Substitutability Analysis -- Industry Day: Abstracts of Invited Talks -- Floating-Point Verification -- Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications -- Model-Based Testing in Practice -- Testing Concurrent Object-Oriented Systems with Spec Explorer -- ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software -- The Informal Nature of Systems Engineering
- Control code
- 262681372
- Dimensions
- unknown
- Extent
- 1 online resource (xiv, 558 pages)
- Form of item
- online
- Isbn
- 9783540317142
- Lccn
- 2005928720
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
-
- 10.1007/b27882
- 9783540278825
- Other physical details
- illustrations.
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-3-540-27882-5
- Specific material designation
- remote
- System control number
- (OCoLC)262681372
- Label
- FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings, John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)
- Note
- "13th International Symposium of Formal Methods Europe"--Preface
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing: Hypotheses, and Correctness Approximations -- The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions -- Object Orientation -- Modular Verification of Static Class Invariants -- Decoupling in Object Orientation -- Controlling Object Allocation Using Creation Guards -- Symbolic Animation of JML Specifications -- Resource Analysis and Verification -- Certified Memory Usage Analysis -- Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs -- Formally Defining and Verifying Master/Slave Speculative Parallelization -- Timing and Testing -- Systematic Implementation of Real-Time Models -- Timing Tolerances in Safety-Critical Software -- Timed Testing with TorX -- Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems -- CSP, B and Circus -- Adding Conflict and Confusion to CSP -- Combining CSP and B for Specification and Property Verification -- Operational Semantics for Model Checking Circus -- Control Law Diagrams in Circus -- Security -- Verification of a Signature Architecture with HOL-Z -- End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform -- Formal Verification of Security Properties of Smart Card Embedded Source Code -- Networks and Processes -- A Formal Model of Addressing for Interoperating Networks -- An Approach to Unfolding Asynchronous Communication Protocols -- Semantics of BPEL4WS-Like Fault and Compensation Handling -- Abstraction, Retrenchment and Rewriting -- On Some Galois Connection Based Abstractions for the Mu-Calculus -- Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern -- Strategic Term Rewriting and Its Application to a Vdm-sl to Sql Conversion -- Scenarios and Modeling Languages -- Synthesis of Distributed Processes from Scenario-Based Specifications -- Verifying Scenario-Based Aspect Specifications -- An MDA Approach Towards Integrating Formal and Informal Modeling Languages -- Model Checking -- Model-Checking of Specifications Integrating Processes, Data and Time -- Automatic Symmetry Detection for Model Checking Using Computational Group Theory -- On Partitioning and Symbolic Model Checking -- Dynamic Component Substitutability Analysis -- Industry Day: Abstracts of Invited Talks -- Floating-Point Verification -- Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications -- Model-Based Testing in Practice -- Testing Concurrent Object-Oriented Systems with Spec Explorer -- ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software -- The Informal Nature of Systems Engineering
- Control code
- 262681372
- Dimensions
- unknown
- Extent
- 1 online resource (xiv, 558 pages)
- Form of item
- online
- Isbn
- 9783540317142
- Lccn
- 2005928720
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
-
- 10.1007/b27882
- 9783540278825
- Other physical details
- illustrations.
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-3-540-27882-5
- Specific material designation
- remote
- System control number
- (OCoLC)262681372
Subject
- Computer software -- Development
- Computer software -- Development -- Congresses
- Conception de systèmes
- Conference papers and proceedings
- Conference papers and proceedings
- Développement de logiciels
- Formal methods (Computer science)
- Formal methods (Computer science)
- Formal methods (Computer science) -- Congresses
- Informatique
- Méthode formelle
- System design
- System design
- System design -- Congresses
- Computer software -- Development
Genre
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/FM-2005--formal-methods--International/SA-ttLxxNME/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/FM-2005--formal-methods--International/SA-ttLxxNME/">FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings, John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings, John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/FM-2005--formal-methods--International/SA-ttLxxNME/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/FM-2005--formal-methods--International/SA-ttLxxNME/">FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings, John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>