Coverart for item
The Resource Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings, Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings, Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)

Label
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings
Title
Integrated formal methods
Title remainder
5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings
Statement of responsibility
Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This is the 5th edition of the International Conference on Integrated Formal Methods (IFM). Previous IFM conferences were held in York (June 1999), D- stuhl (November 2000), Turku (May 2002) and Canterbury (April 2004). This year's IFM was held in December 2005 on the campus of the Technische Univ- siteit Eindhoven in The Netherlands. This year IFM received 40 submissions, from which 19 high-quality papers wereselectedbytheProgramCommittee. Besidesthese, theproceedingscontain invited contributions by Patrice Godefroid, David Parnas and Doron Peled. It was 10 years ago that Jonathan P. Bowen and Michael G. Hinchey p- lished their famous Ten Commandments of Formal Methods in IEEE Computer 28(4). Their very?rst commandment -- Thou shalt choose an appropriate - tation -- touches the heart of the IFM theme: Complex systems have di?erent aspects, and each aspect requires its own appropriate notation. Classical examples of models for various aspects are: state based notations andalgebraicdatatypesfordata, processalgebrasandtemporallogicsforbeh- ior, duration calculus and timed automata for timing aspects, etc. The central question is how the models of di?erent notations relate. Recently, Bowen and Hinchey presented their Ten Commandments Revisited (in: ACM proceedings of the 10th InternationalWorkshop on Formal Methods for Industrial Critical S- tems). Theydistinghuishvariationsin combiningnotations, rangingfromloosely coupled viewpoints to integrated methods. Thelooselycoupledviewpointsarequitepopular(cf.thesuccessofUML)and are easy to adopt in a leightweight process. They could be useful for specifying and analyzing isolated system aspects. However, the main advantage of formal methods -- being able to specify and verify the correctness of complete systems --islost
Member of
Cataloging source
GW5XE
Dewey number
004.01/51
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F67
LC item number
I58 2005eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2005
http://bibfra.me/vocab/lite/meetingName
International Conference on Integrated Formal Methods
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1966-
http://library.link/vocab/relatedWorkOrContributorName
  • Romijn, Judi
  • Smith, Graeme
  • Pol, Jaco van de
Series statement
Lecture notes in computer science,
Series volume
3771
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Méthodes formelles (Informatique)
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • Informatique
  • Formal methods (Computer science)
  • Formale Methode
  • Model Checking
  • Softwareentwicklung
  • Spezifikationssprache
  • Systementwicklung
  • Verifikation
Label
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings, Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)
Instantiates
Publication
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
Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations in the Abstract or the Concrete -- Session: Components -- Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study -- Session: State/Event-Based Verification -- State/Event Software Verification for Branching-Time Specifications -- Exp. Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods -- Chunks: Component Verification in CSP? B -- Session: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees -- Enabling Security Testing from Specification to Code -- Session: Applications of B -- Development of Fault Tolerant Grid Applications Using Distributed B -- Formal Methods Meet Domain Specific Languages -- Synthesizing B Specifications from eb 3 Attribute Definitions -- Session: Tool Support -- CZT Support for Z Extensions -- Embedding the Stable Failures Model of CSP in PVS -- Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks -- Session: Non-software Domains -- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS -- Formalising Interactive Voice Services with SDL -- Session: Semantics -- A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions -- Session: UML and Statecharts -- Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the?-Calculus -- An Integrated Framework for Scenarios and State Machines -- Consistency in UML and B Multi-view Specifications
Control code
262681886
Dimensions
unknown
Extent
1 online resource (xi, 405 pages)
Form of item
online
Isbn
9783540322405
Lccn
2005935883
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/11589976
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-30492-0
Specific material designation
remote
System control number
(OCoLC)262681886
Label
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings, Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)
Publication
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
Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations in the Abstract or the Concrete -- Session: Components -- Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study -- Session: State/Event-Based Verification -- State/Event Software Verification for Branching-Time Specifications -- Exp. Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods -- Chunks: Component Verification in CSP? B -- Session: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees -- Enabling Security Testing from Specification to Code -- Session: Applications of B -- Development of Fault Tolerant Grid Applications Using Distributed B -- Formal Methods Meet Domain Specific Languages -- Synthesizing B Specifications from eb 3 Attribute Definitions -- Session: Tool Support -- CZT Support for Z Extensions -- Embedding the Stable Failures Model of CSP in PVS -- Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks -- Session: Non-software Domains -- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS -- Formalising Interactive Voice Services with SDL -- Session: Semantics -- A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions -- Session: UML and Statecharts -- Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the?-Calculus -- An Integrated Framework for Scenarios and State Machines -- Consistency in UML and B Multi-view Specifications
Control code
262681886
Dimensions
unknown
Extent
1 online resource (xi, 405 pages)
Form of item
online
Isbn
9783540322405
Lccn
2005935883
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/11589976
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-30492-0
Specific material designation
remote
System control number
(OCoLC)262681886

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
Processing Feedback ...