LEADER 04296nam  22006975  450 
001 9910483271303321
005 20251226204147.0
010   $a3-642-00255-2
024 7 $a10.1007/978-3-642-00255-7
035   $a(CKB)1000000000714662
035   $a(SSID)ssj0000318348
035   $a(PQKBManifestationID)11266633
035   $a(PQKBTitleCode)TC0000318348
035   $a(PQKBWorkID)10308732
035   $a(PQKB)10550048
035   $a(DE-He213)978-3-642-00255-7
035   $a(MiAaPQ)EBC3063944
035   $a(PPN)132874830
035   $a(EXLCZ)991000000000714662
100   $a20100301d2009      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aIntegrated Formal Methods $e7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings /$fedited by Michael Leuschel, Heike Wehrheim
205   $a1st ed. 2009.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009.
215   $a1 online resource (X, 367 p.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v5423
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-642-00254-4 
320   $aIncludes bibliographical references and index.
327   $aInvited Talks -- Developing Topology Discovery in Event-B -- Decomposition Structures for Event-B -- Taming the Unbounded for Hardware Synthesis -- Contributed Papers -- Verifying UML/OCL Operation Contracts -- Property Specifications for Workflow Modelling -- Formal Verification Based on Guided Random Walks -- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format -- Changing System Interfaces Consistently: A New Refinement Strategy for CSP//B -- CSP with Hierarchical State -- Predicate Abstraction in a Program Logic Calculus -- Mechanised Translation of Control Law Diagrams into Circus -- Realizability of Choreographies Using Process Algebra Encodings -- Modelling Divergence in Relational Concurrent Refinement -- SAL-Based Symbolic Scheduling in Time-Triggered Networks -- Incremental Reasoning for Multiple Inheritance -- Model Checking LTL Formulae in RAISE with FDR -- An Introduction to Grammar Convergence -- Application of Graph Transformation in Verification of Dynamic Systems -- Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays -- Challenges in the Specification of Full Contracts -- Partial Order Reduction for State/Event LTL -- Dynamic Path Reduction for Software Model Checking -- Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions -- Decompositional Petri Net Reductions.
330   $aThis book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v5423
606   $aComputer science
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aProgramming Techniques
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
676   $a005.1015113
712 12$aInternational Conference on Integrated Formal Methods
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483271303321
996   $aIntegrated Formal Methods$92860239
997   $aUNINA