Borrow it
Coverart for item
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.)

Creator
Contributor
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
Work
Publication
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
Instance
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
Creator
Contributor
Subject
Genre
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."
Member of
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.)
Instantiates
Publication
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.)
Publication
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

Genre

Member of

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...