000 06670nam a22006255i 4500
001 978-3-540-87603-8
003 DE-He213
005 20240730173603.0
007 cr nn 008mamaa
008 100301s2008 gw | s |||| 0|eng d
020 _a9783540876038
_9978-3-540-87603-8
024 7 _a10.1007/978-3-540-87603-8
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aAbstract State Machines, B and Z
_h[electronic resource] :
_bFirst International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
_cedited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca.
250 _a1st ed. 2008.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2008.
300 _aXII, 384 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v5238
505 0 _a1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker's Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with EventB -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop.
520 _aThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.
650 0 _aSoftware engineering.
_94138
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_9108892
650 0 _aCompilers (Computer programs).
_93350
650 0 _aDatabase management.
_93157
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aFormal Languages and Automata Theory.
_9108893
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aDatabase Management.
_93157
700 1 _aBörger, Egon.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9108894
700 1 _aButler, Michael.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9108895
700 1 _aBowen, Jonathan P.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9108896
700 1 _aBoca, Paul.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9108897
710 2 _aSpringerLink (Online service)
_9108898
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540876021
776 0 8 _iPrinted edition:
_z9783540876403
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v5238
_9108899
856 4 0 _uhttps://doi.org/10.1007/978-3-540-87603-8
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c88998
_d88998