04301nam 22007335 450 991048406880332120251226202943.010.1007/11589976(CKB)1000000000213530(SSID)ssj0000318347(PQKBManifestationID)11923587(PQKBTitleCode)TC0000318347(PQKBWorkID)10310514(PQKB)11462533(DE-He213)978-3-540-32240-5(MiAaPQ)EBC3067689(PPN)123098696(EXLCZ)99100000000021353020100328d2005 u| 0engurnn|008mamaatxtccrIntegrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /edited by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XI, 407 p.) Programming and Software Engineering,2945-9168 ;3771Bibliographic Level Mode of Issuance: Monograph3-540-32240-X 3-540-30492-4 Includes bibliographical references and index.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.Programming and Software Engineering,2945-9168 ;3771Computer scienceCompilers (Computer programs)Software engineeringComputer programmingTheory of ComputationComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersSoftware EngineeringProgramming TechniquesComputer science.Compilers (Computer programs).Software engineering.Computer programming.Theory of Computation.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.Software Engineering.Programming Techniques.004.01/51Romijn Judi1755260Smith Graeme1966-851898Pol Jaco van de1755261MiAaPQMiAaPQMiAaPQBOOK9910484068803321Integrated formal methods4191983UNINA