000 04177nam a22005895i 4500
001 978-3-540-32240-5
003 DE-He213
005 20240730194701.0
007 cr nn 008mamaa
008 100328s2005 gw | s |||| 0|eng d
020 _a9783540322405
_9978-3-540-32240-5
024 7 _a10.1007/11589976
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aIntegrated Formal Methods
_h[electronic resource] :
_b5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /
_cedited by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aXI, 407 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3771
505 0 _aInvited 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.
650 0 _aComputer science.
_99832
650 0 _aCompilers (Computer programs).
_93350
650 0 _aSoftware engineering.
_94138
650 0 _aComputer programming.
_94169
650 1 4 _aTheory of Computation.
_9157751
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aProgramming Techniques.
_9157752
700 1 _aRomijn, Judi M.T.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9157753
700 1 _aSmith, Graeme P.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9157754
700 1 _avan de Pol, Jaco C.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9157755
710 2 _aSpringerLink (Online service)
_9157756
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540304920
776 0 8 _iPrinted edition:
_z9783540818113
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v3771
_9157757
856 4 0 _uhttps://doi.org/10.1007/11589976
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95291
_d95291